1 // Copyright 2017 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
11 // Test that NLL analysis propagates lifetimes correctly through
12 // field accesses, Box accesses, etc.
16 fn foo(s: &mut (i32,)) -> i32 {
17 let t = &mut *s; // this borrow should last for the entire function
19 *s = (2,); //~ ERROR cannot assign to `*s`
23 fn bar(s: &Box<(i32,)>) -> &'static i32 {
24 // FIXME(#46983): error message should be better
25 &s.0 //~ ERROR explicit lifetime required in the type of `s` [E0621]