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.
12 //[mir]compile-flags: -Z borrowck=mir
21 let _y = &**x; //[ast]~ ERROR use of possibly uninitialized variable: `**x` [E0381]
25 let _y = &**x; //[ast]~ ERROR use of possibly uninitialized variable: `**x` [E0381]
29 let _y = &**x; //[ast]~ ERROR use of possibly uninitialized variable: `**x` [E0381]
33 let mut a: S<i32, i32>;
35 let _b = &a.x; //[ast]~ ERROR use of possibly uninitialized variable: `a.x` [E0381]
36 // (deliberately *not* an error under MIR-borrowck)
38 let mut a: S<&&i32, &&i32>;
40 let _b = &**a.x; //[ast]~ ERROR use of possibly uninitialized variable: `**a.x` [E0381]
41 // (deliberately *not* an error under MIR-borrowck)
44 let mut a: S<i32, i32>;
46 let _b = &a.y; //[ast]~ ERROR use of possibly uninitialized variable: `a.y` [E0381]
47 //[mir]~^ ERROR [E0381]
49 let mut a: S<&&i32, &&i32>;
51 let _b = &**a.y; //[ast]~ ERROR use of possibly uninitialized variable: `**a.y` [E0381]
52 //[mir]~^ ERROR [E0381]