diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2021-09-27 22:26:14 -0700 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2021-09-27 22:26:14 -0700 |
| commit | 17155c8dca9386e865fd92a259694246a5120ed8 (patch) | |
| tree | 3a3c5f7660fee587fb8c07f81b2fb3bf2c4c671f | |
| parent | baec67e9de4b3794f07d3024525d2a5fa8e1a1ea (diff) | |
| download | rust-17155c8dca9386e865fd92a259694246a5120ed8.tar.gz rust-17155c8dca9386e865fd92a259694246a5120ed8.zip | |
Add renamed lint
| -rw-r--r-- | clippy_lints/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clippy_lints/src/lib.rs b/clippy_lints/src/lib.rs index 879f3ba68f4..92ebebd62bf 100644 --- a/clippy_lints/src/lib.rs +++ b/clippy_lints/src/lib.rs @@ -2212,6 +2212,7 @@ pub fn register_renamed(ls: &mut rustc_lint::LintStore) { ls.register_renamed("clippy::identity_conversion", "clippy::useless_conversion"); ls.register_renamed("clippy::zero_width_space", "clippy::invisible_characters"); ls.register_renamed("clippy::single_char_push_str", "clippy::single_char_add_str"); + ls.register_renamed("clippy::if_let_some_result", "clippy::match_result_ok"); // uplifted lints ls.register_renamed("clippy::invalid_ref", "invalid_value"); |