Update version attribute for 1.71 lints

2023-07-11 19:23:01 +02:00 · 2023-07-11 19:23:01 +02:00 · 31397b489a
commit 31397b489a
parent 3be3fb7231
3 changed files with 3 additions and 3 deletions
--- a/clippy_lints/src/loops/mod.rs
+++ b/clippy_lints/src/loops/mod.rs
@ -601,7 +601,7 @@ declare_clippy_lint! {
    ///     // use `number`
    /// }
    /// ```
-    #[clippy::version = "1.70.0"]
+    #[clippy::version = "1.71.0"]
    pub MANUAL_WHILE_LET_SOME,
    style,
    "checking for emptiness of a `Vec` in the loop condition and popping an element in the body"