diff options
author | Nick Mathewson <nickm@torproject.org> | 2022-03-01 15:38:46 -0500 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2022-03-01 15:38:46 -0500 |
commit | f7009e238a462cbce92b7701c3ff2587f6ac4626 (patch) | |
tree | c6ad584e69ec18e9b742d4c5b183175afdb9401f | |
parent | 83c8b11c2c08a05928bdb0390922391d13261ef2 (diff) | |
download | arti-f7009e238a462cbce92b7701c3ff2587f6ac4626.tar.gz arti-f7009e238a462cbce92b7701c3ff2587f6ac4626.zip |
add_warning: remove clone_on_ref_ptr
See !352
-rwxr-xr-x | maint/add_warning | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/maint/add_warning b/maint/add_warning index d2ceb6a24..2606e197a 100755 --- a/maint/add_warning +++ b/maint/add_warning @@ -17,7 +17,6 @@ WANT_LINTS = """ #![deny(clippy::checked_conversions)] #![warn(clippy::cognitive_complexity)] #![deny(clippy::cargo_common_metadata)] -#![warn(clippy::clone_on_ref_ptr)] #![deny(clippy::debug_assert_with_mut_call)] #![deny(clippy::exhaustive_enums)] #![deny(clippy::exhaustive_structs)] |