diff --git a/clippy_lints/src/utils/mod.rs b/clippy_lints/src/utils/mod.rs index b7f1e7b24545..7cb3e08a116d 100644 --- a/clippy_lints/src/utils/mod.rs +++ b/clippy_lints/src/utils/mod.rs @@ -648,6 +648,7 @@ where ], msg: help_msg, show_code_when_inline: true, + approximate: false, }; db.suggestions.push(sugg); }