chore: add disallowed_script_idents clippy extra-pedantic lint (#881)

This commit is contained in:
Alex Yusiuk
2025-07-23 11:29:27 -04:00
committed by GitHub
parent f96b1b2ce8
commit e7393f50d0
+1
View File
@@ -125,6 +125,7 @@ unnecessary_box_returns = "warn"
# == Extra-pedantic clippy == #
allow_attributes = "warn"
disallowed_script_idents = "warn"
collection_is_never_read = "warn"
copy_iterator = "warn"
expl_impl_clone_on_copy = "warn"