src/test/ui/borrowck/borrowck-uninit-ref-chain.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

struct S<X, Y> {
    x: X,
    y: Y,
}

fn main() {
    let x: &&Box<i32>;
    let _y = &**x; //~ [E0381]

    let x: &&S<i32, i32>;
    let _y = &**x; //~ [E0381]

    let x: &&i32;
    let _y = &**x; //~ [E0381]


    let mut a: S<i32, i32>;
    a.x = 0;            //~ ERROR assign to part of possibly-uninitialized variable: `a` [E0381]
    let _b = &a.x;

    let mut a: S<&&i32, &&i32>;
    a.x = &&0;          //~ ERROR assign to part of possibly-uninitialized variable: `a` [E0381]
    let _b = &**a.x;


    let mut a: S<i32, i32>;
    a.x = 0;            //~ ERROR assign to part of possibly-uninitialized variable: `a` [E0381]
    let _b = &a.y;

    let mut a: S<&&i32, &&i32>;
    a.x = &&0;          //~ assign to part of possibly-uninitialized variable: `a` [E0381]
    let _b = &**a.y;
}