Merge pull request #42 from danielparks/lint-priority

Fix lint priority
danielparks · Mar 9, 2024 · 9a782e6 · 9a782e6
2 parents 721975e + 49be5dd
commit 9a782e6
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -34,8 +34,8 @@ unsafe_code = "forbid"
 missing_docs = "warn"
 
 [workspace.lints.clippy]
-nursery = "warn"
-pedantic = "warn"
+nursery = { level = "warn", priority = -1 }
+pedantic = { level = "warn", priority = -1 }
 missing_docs_in_private_items = "warn"
 
 # Other restriction lints
@@ -74,3 +74,6 @@ let_underscore_untyped = "allow"
 manual_string_new = "allow"
 map_unwrap_or = "allow"
 module_name_repetitions = "allow"
+
+# Nursery exceptions
+option_if_let_else = "allow"