vincenzopalazzo
/
arti
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add_warning: remove clone_on_ref_ptr 

See !352
This commit is contained in:
Nick Mathewson 2022-03-01 15:38:46 -05:00
parent 83c8b11c2c
commit f7009e238a
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
maint/add_warning
View File

@ -17,7 +17,6 @@ WANT_LINTS = """
#![deny(clippy::checked_conversions)] #![deny(clippy::checked_conversions)]
#![warn(clippy::cognitive_complexity)] #![warn(clippy::cognitive_complexity)]
#![deny(clippy::cargo_common_metadata)] #![deny(clippy::cargo_common_metadata)]
#![warn(clippy::clone_on_ref_ptr)]
#![deny(clippy::debug_assert_with_mut_call)] #![deny(clippy::debug_assert_with_mut_call)]
#![deny(clippy::exhaustive_enums)] #![deny(clippy::exhaustive_enums)]
#![deny(clippy::exhaustive_structs)] #![deny(clippy::exhaustive_structs)]