Merge commit '1e8fdf4928' into clippyup

2023-08-11 14:05:13 +02:00 · 2023-08-11 14:05:13 +02:00 · f730a2655a
commit f730a2655a
parent a1ab2d765f
72 changed files with 1543 additions and 378 deletions
--- a/clippy_dev/src/main.rs
+++ b/clippy_dev/src/main.rs
@ -41,7 +41,7 @@ fn main() {
                matches.get_one::<String>("type").map(String::as_str),
                matches.get_flag("msrv"),
            ) {
-                Ok(_) => update_lints::update(update_lints::UpdateMode::Change),
+                Ok(()) => update_lints::update(update_lints::UpdateMode::Change),
                Err(e) => eprintln!("Unable to create lint: {e}"),
            }
        },