1 // Regression test for issue #72649
2 // Tests that we don't emit spurious
3 // 'value moved in previous iteration of loop' message
16 let value = NonCopy{};
17 //~^ NOTE move occurs because `value` has type `NonCopy`, which does not implement the `Copy` trait
19 //~^ NOTE value moved here
20 let _used2 = value; //~ ERROR use of moved value: `value`
21 //~^ NOTE value used here after move
26 let value = NonCopy{};
27 //~^ NOTE move occurs because `value` has type `NonCopy`, which does not implement the `Copy` trait
28 loop { //~ NOTE inside of this loop
30 //~^ NOTE value moved here
32 let _used2 = value; //~ ERROR use of moved value: `value`
33 //~^ NOTE value used here after move
39 let value = NonCopy{};
40 //~^ NOTE move occurs because `value` has type `NonCopy`, which does not implement the `Copy` trait
41 loop { //~ NOTE inside of this loop
42 let _used = value; //~ ERROR use of moved value: `value`
43 //~^ NOTE value moved here, in previous iteration of loop
48 let mut value = NonCopy{};
49 //~^ NOTE move occurs because `value` has type `NonCopy`, which does not implement the `Copy` trait
52 loop { //~ NOTE inside of this loop
53 let _used2 = value; //~ ERROR use of moved value: `value`
54 //~^ NOTE value moved here, in previous iteration of loop
60 let value: NonCopy; //~ NOTE declared here
61 let _used = value; //~ ERROR binding `value` isn't initialized
62 //~^ NOTE `value` used here but it isn't initialized
67 let mut value: NonCopy; //~ NOTE declared here
69 let _used = value; //~ ERROR binding `value` isn't initialized
70 //~^ NOTE `value` used here but it isn't initialized