diff options
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.rs | 24 |
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()))); -} |