chore(lints): Remove removed lint

alexpovel · Oct 5, 2024 · 9238fc1 · 9238fc1
1 parent 4234925
commit 9238fc1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -104,7 +104,6 @@ module_name_repetitions = { level = "allow", priority = 1 }
 # and made it more strict. Will perhaps get too annoying.
 
 absolute_paths_not_starting_with_crate = "warn"
-box_pointers = "allow"                          # Not useful nowadays
 deprecated_safe = "warn"
 elided_lifetimes_in_paths = "warn"
 explicit_outlives_requirements = "warn"