diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2018-10-11 12:16:22 +0200 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2018-10-11 12:16:22 +0200 |
| commit | b8654eaa6c4c4abaed9b8e448445b992c87bb41e (patch) | |
| tree | cf9127650966949e8aed9189ad73ae2a59751627 /tests/ui/while_loop.rs | |
| parent | 8b45dd704b974fb9c6d8ea58330ca893154cb5db (diff) | |
Stabilize tool lints
Diffstat (limited to 'tests/ui/while_loop.rs')
| -rw-r--r-- | tests/ui/while_loop.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/ui/while_loop.rs b/tests/ui/while_loop.rs index ff7a43fd693..3cc7c52df5d 100644 --- a/tests/ui/while_loop.rs +++ b/tests/ui/while_loop.rs @@ -8,7 +8,7 @@ // except according to those terms. -#![feature(tool_lints)] + #![warn(clippy::while_let_loop, clippy::empty_loop, clippy::while_let_on_iterator)] |
