diff options
| author | bors <bors@rust-lang.org> | 2023-07-29 07:48:44 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-07-29 07:48:44 +0000 |
| commit | 04411507bef1d2db441acdc1d89268f0cbaaccbc (patch) | |
| tree | d9d29b76ce4452b0dc2758c51069cac0ebe68608 /src/tools/clippy/clippy_lints | |
| parent | 2dc661037d059bff1487b76ca949ced7b3cd46c9 (diff) | |
| parent | f25ad54a4d0febbcb2b7e951835228b7b2320b49 (diff) | |
| download | rust-04411507bef1d2db441acdc1d89268f0cbaaccbc.tar.gz rust-04411507bef1d2db441acdc1d89268f0cbaaccbc.zip | |
Auto merge of #113422 - Urgau:cast_ref_to_mut-pre-beta, r=Nilstrieb
Rename and allow `cast_ref_to_mut` lint This PR is a small subset of https://github.com/rust-lang/rust/pull/112431, that is the renaming of the lint (`cast_ref_to_mut` -> `invalid_reference_casting`). BUT also temporarily change the default level of the lint from deny-by-default to allow-by-default until https://github.com/rust-lang/rust/pull/112431 is merged. r? `@Nilstrieb`
Diffstat (limited to 'src/tools/clippy/clippy_lints')
| -rw-r--r-- | src/tools/clippy/clippy_lints/src/renamed_lints.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/clippy/clippy_lints/src/renamed_lints.rs b/src/tools/clippy/clippy_lints/src/renamed_lints.rs index d24215c2292..e532dd61a82 100644 --- a/src/tools/clippy/clippy_lints/src/renamed_lints.rs +++ b/src/tools/clippy/clippy_lints/src/renamed_lints.rs @@ -31,7 +31,7 @@ pub static RENAMED_LINTS: &[(&str, &str)] = &[ ("clippy::stutter", "clippy::module_name_repetitions"), ("clippy::to_string_in_display", "clippy::recursive_format_impl"), ("clippy::zero_width_space", "clippy::invisible_characters"), - ("clippy::cast_ref_to_mut", "cast_ref_to_mut"), + ("clippy::cast_ref_to_mut", "invalid_reference_casting"), ("clippy::clone_double_ref", "suspicious_double_ref_op"), ("clippy::cmp_nan", "invalid_nan_comparisons"), ("clippy::drop_bounds", "drop_bounds"), |