summaryrefslogtreecommitdiffstats
path: root/src/test/ui/borrowck/borrowck-loan-of-static-data-issue-27616.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/borrowck/borrowck-loan-of-static-data-issue-27616.rs')
-rw-r--r--src/test/ui/borrowck/borrowck-loan-of-static-data-issue-27616.rs24
1 files changed, 0 insertions, 24 deletions
diff --git a/src/test/ui/borrowck/borrowck-loan-of-static-data-issue-27616.rs b/src/test/ui/borrowck/borrowck-loan-of-static-data-issue-27616.rs
deleted file mode 100644
index cb801ef1b..000000000
--- a/src/test/ui/borrowck/borrowck-loan-of-static-data-issue-27616.rs
+++ /dev/null
@@ -1,24 +0,0 @@
-use std::mem;
-
-fn leak<T>(mut b: Box<T>) -> &'static mut T {
- // isn't this supposed to be safe?
- let inner = &mut *b as *mut _;
- mem::forget(b);
- unsafe { &mut *inner }
-}
-
-fn evil(mut s: &'static mut String)
-{
- // create alias
- let alias: &'static mut String = s;
- let inner: &str = &alias;
- // free value
- *s = String::new(); //~ ERROR cannot assign
- let _spray = "0wned".to_owned();
- // ... and then use it
- println!("{}", inner);
-}
-
-fn main() {
- evil(leak(Box::new("hello".to_owned())));
-}