summaryrefslogtreecommitdiffstats
path: root/tests/ui/moves/issue-72649-uninit-in-loop.rs
blob: 56c225bab8cbca0c2858e522c4adab734db99e3c (plain)
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
// Regression test for issue #72649
// Tests that we don't emit spurious
// 'value moved in previous iteration of loop' message

struct NonCopy;

fn good() {
    loop {
        let value = NonCopy{};
        let _used = value;
    }
}

fn moved_here_1() {
    loop {
        let value = NonCopy{};
        //~^ NOTE move occurs because `value` has type `NonCopy`, which does not implement the `Copy` trait
        let _used = value;
        //~^ NOTE value moved here
        let _used2 = value; //~ ERROR use of moved value: `value`
        //~^ NOTE value used here after move
    }
}

fn moved_here_2() {
    let value = NonCopy{};
    //~^ NOTE move occurs because `value` has type `NonCopy`, which does not implement the `Copy` trait
    loop { //~ NOTE inside of this loop
        let _used = value;
        //~^ NOTE value moved here
        loop {
            let _used2 = value; //~ ERROR use of moved value: `value`
            //~^ NOTE value used here after move
        }
    }
}

fn moved_loop_1() {
    let value = NonCopy{};
    //~^ NOTE move occurs because `value` has type `NonCopy`, which does not implement the `Copy` trait
    loop { //~ NOTE inside of this loop
        let _used = value; //~ ERROR use of moved value: `value`
        //~^ NOTE value moved here, in previous iteration of loop
    }
}

fn moved_loop_2() {
    let mut value = NonCopy{};
    //~^ NOTE move occurs because `value` has type `NonCopy`, which does not implement the `Copy` trait
    let _used = value;
    value = NonCopy{};
    loop { //~ NOTE inside of this loop
        let _used2 = value; //~ ERROR use of moved value: `value`
        //~^ NOTE value moved here, in previous iteration of loop
    }
}

fn uninit_1() {
    loop {
        let value: NonCopy; //~ NOTE declared here
        let _used = value; //~ ERROR binding `value` isn't initialized
        //~^ NOTE `value` used here but it isn't initialized
    }
}

fn uninit_2() {
    let mut value: NonCopy; //~ NOTE declared here
    loop {
        let _used = value; //~ ERROR binding `value` isn't initialized
        //~^ NOTE `value` used here but it isn't initialized
    }
}

fn main() {}