diff options
Diffstat (limited to 'src/test/ui/mut/no-mut-lint-for-desugared-mut.rs')
| -rw-r--r-- | src/test/ui/mut/no-mut-lint-for-desugared-mut.rs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/test/ui/mut/no-mut-lint-for-desugared-mut.rs b/src/test/ui/mut/no-mut-lint-for-desugared-mut.rs deleted file mode 100644 index 419d58041..000000000 --- a/src/test/ui/mut/no-mut-lint-for-desugared-mut.rs +++ /dev/null @@ -1,8 +0,0 @@ -// run-pass - -#![deny(unused_mut)] -#![allow(unreachable_code)] - -fn main() { - for _ in { return (); 0..3 } {} // ok -} |