summaryrefslogtreecommitdiffstats
path: root/src/test/ui/moves/issue-72649-uninit-in-loop.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/moves/issue-72649-uninit-in-loop.rs')
-rw-r--r--src/test/ui/moves/issue-72649-uninit-in-loop.rs74
1 files changed, 0 insertions, 74 deletions
diff --git a/src/test/ui/moves/issue-72649-uninit-in-loop.rs b/src/test/ui/moves/issue-72649-uninit-in-loop.rs
deleted file mode 100644
index 56c225bab..000000000
--- a/src/test/ui/moves/issue-72649-uninit-in-loop.rs
+++ /dev/null
@@ -1,74 +0,0 @@
-// 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() {}