diff --git a/src/librustc_borrowck/borrowck/gather_loans/mod.rs b/src/librustc_borrowck/borrowck/gather_loans/mod.rs index 505c66593f5eb..56cd7e5eaa890 100644 --- a/src/librustc_borrowck/borrowck/gather_loans/mod.rs +++ b/src/librustc_borrowck/borrowck/gather_loans/mod.rs @@ -364,17 +364,7 @@ impl<'a, 'tcx> GatherLoanCtxt<'a, 'tcx> { ty::ReFree(ref fr) => fr.scope, - ty::ReStatic => { - // If we get here, an error must have been - // reported in - // `lifetime::guarantee_lifetime()`, because - // the only legal ways to have a borrow with a - // static lifetime should not require - // restrictions. To avoid reporting derived - // errors, we just return here without adding - // any loans. - return; - } + ty::ReStatic => self.item_ub, ty::ReEmpty | ty::ReLateBound(..) | diff --git a/src/test/borrowck-loan-of-static-data-issue-27616.rs b/src/test/borrowck-loan-of-static-data-issue-27616.rs new file mode 100644 index 0000000000000..228e71025fdf4 --- /dev/null +++ b/src/test/borrowck-loan-of-static-data-issue-27616.rs @@ -0,0 +1,34 @@ +// Copyright 2015 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +use std::mem; + +fn leak(mut b: Box) -> &'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()))); +}