fix: Put style lints behind disabled-by-default config

Veykril · Veykril · commit 8844640c6f28 · 2024-03-05T11:43:23.000+01:00
diff --git a/crates/hir-ty/src/diagnostics/expr.rs b/crates/hir-ty/src/diagnostics/expr.rs
@@ -60,12 +60,17 @@ pub enum BodyValidationDiagnostic {
 }
 
 impl BodyValidationDiagnostic {
-    pub fn collect(db: &dyn HirDatabase, owner: DefWithBodyId) -> Vec<BodyValidationDiagnostic> {
+    pub fn collect(
+        db: &dyn HirDatabase,
+        owner: DefWithBodyId,
+        validate_lints: bool,
+    ) -> Vec<BodyValidationDiagnostic> {
         let _p =
             tracing::span!(tracing::Level::INFO, "BodyValidationDiagnostic::collect").entered();
         let infer = db.infer(owner);
         let body = db.body(owner);
-        let mut validator = ExprValidator { owner, body, infer, diagnostics: Vec::new() };
+        let mut validator =
+            ExprValidator { owner, body, infer, diagnostics: Vec::new(), validate_lints };
         validator.validate_body(db);
         validator.diagnostics
     }
@@ -76,6 +81,7 @@ struct ExprValidator {
     body: Arc<Body>,
     infer: Arc<InferenceResult>,
     diagnostics: Vec<BodyValidationDiagnostic>,
+    validate_lints: bool,
 }
 
 impl ExprValidator {
@@ -139,6 +145,9 @@ impl ExprValidator {
         expr: &Expr,
         filter_map_next_checker: &mut Option<FilterMapNextChecker>,
     ) {
+        if !self.validate_lints {
+            return;
+        }
         // Check that the number of arguments matches the number of parameters.
 
         if self.infer.expr_type_mismatches().next().is_some() {
@@ -308,6 +317,9 @@ impl ExprValidator {
     }
 
     fn check_for_trailing_return(&mut self, body_expr: ExprId, body: &Body) {
+        if !self.validate_lints {
+            return;
+        }
         match &body.exprs[body_expr] {
             Expr::Block { statements, tail, .. } => {
                 let last_stmt = tail.or_else(|| match statements.last()? {
@@ -340,6 +352,9 @@ impl ExprValidator {
     }
 
     fn check_for_unnecessary_else(&mut self, id: ExprId, expr: &Expr, db: &dyn HirDatabase) {
+        if !self.validate_lints {
+            return;
+        }
         if let Expr::If { condition: _, then_branch, else_branch } = expr {
             if else_branch.is_none() {
                 return;
diff --git a/crates/hir/src/lib.rs b/crates/hir/src/lib.rs
@@ -365,7 +365,7 @@ impl ModuleDef {
         Some(name)
     }
 
-    pub fn diagnostics(self, db: &dyn HirDatabase) -> Vec<AnyDiagnostic> {
+    pub fn diagnostics(self, db: &dyn HirDatabase, style_lints: bool) -> Vec<AnyDiagnostic> {
         let id = match self {
             ModuleDef::Adt(it) => match it {
                 Adt::Struct(it) => it.id.into(),
@@ -387,7 +387,7 @@ impl ModuleDef {
 
         match self.as_def_with_body() {
             Some(def) => {
-                def.diagnostics(db, &mut acc);
+                def.diagnostics(db, &mut acc, style_lints);
             }
             None => {
                 for diag in hir_ty::diagnostics::incorrect_case(db, id) {
@@ -541,7 +541,12 @@ impl Module {
     }
 
     /// Fills `acc` with the module's diagnostics.
-    pub fn diagnostics(self, db: &dyn HirDatabase, acc: &mut Vec<AnyDiagnostic>) {
+    pub fn diagnostics(
+        self,
+        db: &dyn HirDatabase,
+        acc: &mut Vec<AnyDiagnostic>,
+        style_lints: bool,
+    ) {
         let name = self.name(db);
         let _p = tracing::span!(tracing::Level::INFO, "Module::diagnostics", ?name);
         let def_map = self.id.def_map(db.upcast());
@@ -558,20 +563,20 @@ impl Module {
                 ModuleDef::Module(m) => {
                     // Only add diagnostics from inline modules
                     if def_map[m.id.local_id].origin.is_inline() {
-                        m.diagnostics(db, acc)
+                        m.diagnostics(db, acc, style_lints)
                     }
-                    acc.extend(def.diagnostics(db))
+                    acc.extend(def.diagnostics(db, style_lints))
                 }
                 ModuleDef::Trait(t) => {
                     for diag in db.trait_data_with_diagnostics(t.id).1.iter() {
                         emit_def_diagnostic(db, acc, diag);
                     }
 
                     for item in t.items(db) {
-                        item.diagnostics(db, acc);
+                        item.diagnostics(db, acc, style_lints);
                     }
 
-                    acc.extend(def.diagnostics(db))
+                    acc.extend(def.diagnostics(db, style_lints))
                 }
                 ModuleDef::Adt(adt) => {
                     match adt {
@@ -587,17 +592,17 @@ impl Module {
                         }
                         Adt::Enum(e) => {
                             for v in e.variants(db) {
-                                acc.extend(ModuleDef::Variant(v).diagnostics(db));
+                                acc.extend(ModuleDef::Variant(v).diagnostics(db, style_lints));
                                 for diag in db.enum_variant_data_with_diagnostics(v.id).1.iter() {
                                     emit_def_diagnostic(db, acc, diag);
                                 }
                             }
                         }
                     }
-                    acc.extend(def.diagnostics(db))
+                    acc.extend(def.diagnostics(db, style_lints))
                 }
                 ModuleDef::Macro(m) => emit_macro_def_diagnostics(db, acc, m),
-                _ => acc.extend(def.diagnostics(db)),
+                _ => acc.extend(def.diagnostics(db, style_lints)),
             }
         }
         self.legacy_macros(db).into_iter().for_each(|m| emit_macro_def_diagnostics(db, acc, m));
@@ -738,7 +743,7 @@ impl Module {
             }
 
             for &item in &db.impl_data(impl_def.id).items {
-                AssocItem::from(item).diagnostics(db, acc);
+                AssocItem::from(item).diagnostics(db, acc, style_lints);
             }
         }
     }
@@ -1616,14 +1621,19 @@ impl DefWithBody {
         }
     }
 
-    pub fn diagnostics(self, db: &dyn HirDatabase, acc: &mut Vec<AnyDiagnostic>) {
+    pub fn diagnostics(
+        self,
+        db: &dyn HirDatabase,
+        acc: &mut Vec<AnyDiagnostic>,
+        style_lints: bool,
+    ) {
         db.unwind_if_cancelled();
         let krate = self.module(db).id.krate();
 
         let (body, source_map) = db.body_with_source_map(self.into());
 
         for (_, def_map) in body.blocks(db.upcast()) {
-            Module { id: def_map.module_id(DefMap::ROOT) }.diagnostics(db, acc);
+            Module { id: def_map.module_id(DefMap::ROOT) }.diagnostics(db, acc, style_lints);
         }
 
         for diag in source_map.diagnostics() {
@@ -1784,7 +1794,7 @@ impl DefWithBody {
             }
         }
 
-        for diagnostic in BodyValidationDiagnostic::collect(db, self.into()) {
+        for diagnostic in BodyValidationDiagnostic::collect(db, self.into(), style_lints) {
             acc.extend(AnyDiagnostic::body_validation_diagnostic(db, diagnostic, &source_map));
         }
 
@@ -2897,13 +2907,18 @@ impl AssocItem {
         }
     }
 
-    pub fn diagnostics(self, db: &dyn HirDatabase, acc: &mut Vec<AnyDiagnostic>) {
+    pub fn diagnostics(
+        self,
+        db: &dyn HirDatabase,
+        acc: &mut Vec<AnyDiagnostic>,
+        style_lints: bool,
+    ) {
         match self {
             AssocItem::Function(func) => {
-                DefWithBody::from(func).diagnostics(db, acc);
+                DefWithBody::from(func).diagnostics(db, acc, style_lints);
             }
             AssocItem::Const(const_) => {
-                DefWithBody::from(const_).diagnostics(db, acc);
+                DefWithBody::from(const_).diagnostics(db, acc, style_lints);
             }
             AssocItem::TypeAlias(type_alias) => {
                 for diag in hir_ty::diagnostics::incorrect_case(db, type_alias.id.into()) {
diff --git a/crates/ide-diagnostics/src/lib.rs b/crates/ide-diagnostics/src/lib.rs
@@ -227,6 +227,7 @@ pub struct DiagnosticsConfig {
     pub disable_experimental: bool,
     pub disabled: FxHashSet<String>,
     pub expr_fill_default: ExprFillDefaultMode,
+    pub style_lints: bool,
     // FIXME: We may want to include a whole `AssistConfig` here
     pub insert_use: InsertUseConfig,
     pub prefer_no_std: bool,
@@ -245,6 +246,7 @@ impl DiagnosticsConfig {
             disable_experimental: Default::default(),
             disabled: Default::default(),
             expr_fill_default: Default::default(),
+            style_lints: true,
             insert_use: InsertUseConfig {
                 granularity: ImportGranularity::Preserve,
                 enforce_granularity: false,
@@ -324,7 +326,7 @@ pub fn diagnostics(
 
     let mut diags = Vec::new();
     if let Some(m) = module {
-        m.diagnostics(db, &mut diags);
+        m.diagnostics(db, &mut diags, config.style_lints);
     }
 
     for diag in diags {
diff --git a/crates/rust-analyzer/src/cli/analysis_stats.rs b/crates/rust-analyzer/src/cli/analysis_stats.rs
@@ -982,6 +982,7 @@ impl flags::AnalysisStats {
                     },
                     prefer_no_std: false,
                     prefer_prelude: true,
+                    style_lints: false,
                 },
                 ide::AssistResolveStrategy::All,
                 file_id,
diff --git a/crates/rust-analyzer/src/config.rs b/crates/rust-analyzer/src/config.rs
@@ -311,6 +311,8 @@ config_data! {
         /// Map of prefixes to be substituted when parsing diagnostic file paths.
         /// This should be the reverse mapping of what is passed to `rustc` as `--remap-path-prefix`.
         diagnostics_remapPrefix: FxHashMap<String, String> = "{}",
+        /// Whether to run additional style lints.
+        diagnostics_styleLints_enable: bool =    "false",
         /// List of warnings that should be displayed with hint severity.
         ///
         /// The warnings will be indicated by faded text or three dots in code
@@ -1162,6 +1164,7 @@ impl Config {
             insert_use: self.insert_use_config(),
             prefer_no_std: self.data.imports_preferNoStd,
             prefer_prelude: self.data.imports_preferPrelude,
+            style_lints: self.data.diagnostics_styleLints_enable,
         }
     }
 
diff --git a/docs/user/generated_config.adoc b/docs/user/generated_config.adoc
@@ -386,6 +386,11 @@ have more false positives than usual.
 Map of prefixes to be substituted when parsing diagnostic file paths.
 This should be the reverse mapping of what is passed to `rustc` as `--remap-path-prefix`.
 --
+[[rust-analyzer.diagnostics.styleLints.enable]]rust-analyzer.diagnostics.styleLints.enable (default: `false`)::
++
+--
+Whether to run additional style lints.
+--
 [[rust-analyzer.diagnostics.warningsAsHint]]rust-analyzer.diagnostics.warningsAsHint (default: `[]`)::
 +
 --
diff --git a/editors/code/package.json b/editors/code/package.json
@@ -948,6 +948,11 @@
                     "default": {},
                     "type": "object"
                 },
+                "rust-analyzer.diagnostics.styleLints.enable": {
+                    "markdownDescription": "Whether to run additional style lints.",
+                    "default": false,
+                    "type": "boolean"
+                },
                 "rust-analyzer.diagnostics.warningsAsHint": {
                     "markdownDescription": "List of warnings that should be displayed with hint severity.\n\nThe warnings will be indicated by faded text or three dots in code\nand will not show up in the `Problems Panel`.",
                     "default": [],

Original file line number	Diff line number	Diff line change
`@@ -365,7 +365,7 @@ impl ModuleDef {`
`365`	`365`	`Some(name)`
`366`	`366`	`}`
`367`	`367`
`368`		`- pub fn diagnostics(self, db: &dyn HirDatabase) -> Vec<AnyDiagnostic> {`
	`368`	`+ pub fn diagnostics(self, db: &dyn HirDatabase, style_lints: bool) -> Vec<AnyDiagnostic> {`
`369`	`369`	`let id = match self {`
`370`	`370`	`ModuleDef::Adt(it) => match it {`
`371`	`371`	`Adt::Struct(it) => it.id.into(),`
`@@ -387,7 +387,7 @@ impl ModuleDef {`
`387`	`387`
`388`	`388`	`match self.as_def_with_body() {`
`389`	`389`	`Some(def) => {`
`390`		`- def.diagnostics(db, &mut acc);`
	`390`	`+ def.diagnostics(db, &mut acc, style_lints);`
`391`	`391`	`}`
`392`	`392`	`None => {`
`393`	`393`	`for diag in hir_ty::diagnostics::incorrect_case(db, id) {`
`@@ -541,7 +541,12 @@ impl Module {`
`541`	`541`	`}`
`542`	`542`
`543`	`543`	/// Fills `acc` with the module's diagnostics.
`544`		`- pub fn diagnostics(self, db: &dyn HirDatabase, acc: &mut Vec<AnyDiagnostic>) {`
	`544`	`+ pub fn diagnostics(`
	`545`	`+ self,`
	`546`	`+ db: &dyn HirDatabase,`
	`547`	`+ acc: &mut Vec<AnyDiagnostic>,`
	`548`	`+ style_lints: bool,`
	`549`	`+ ) {`
`545`	`550`	`let name = self.name(db);`
`546`	`551`	`let _p = tracing::span!(tracing::Level::INFO, "Module::diagnostics", ?name);`
`547`	`552`	`let def_map = self.id.def_map(db.upcast());`
`@@ -558,20 +563,20 @@ impl Module {`
`558`	`563`	`ModuleDef::Module(m) => {`
`559`	`564`	`// Only add diagnostics from inline modules`
`560`	`565`	`if def_map[m.id.local_id].origin.is_inline() {`
`561`		`- m.diagnostics(db, acc)`
	`566`	`+ m.diagnostics(db, acc, style_lints)`
`562`	`567`	`}`
`563`		`- acc.extend(def.diagnostics(db))`
	`568`	`+ acc.extend(def.diagnostics(db, style_lints))`
`564`	`569`	`}`
`565`	`570`	`ModuleDef::Trait(t) => {`
`566`	`571`	`for diag in db.trait_data_with_diagnostics(t.id).1.iter() {`
`567`	`572`	`emit_def_diagnostic(db, acc, diag);`
`568`	`573`	`}`
`569`	`574`
`570`	`575`	`for item in t.items(db) {`
`571`		`- item.diagnostics(db, acc);`
	`576`	`+ item.diagnostics(db, acc, style_lints);`
`572`	`577`	`}`
`573`	`578`
`574`		`- acc.extend(def.diagnostics(db))`
	`579`	`+ acc.extend(def.diagnostics(db, style_lints))`
`575`	`580`	`}`
`576`	`581`	`ModuleDef::Adt(adt) => {`
`577`	`582`	`match adt {`
`@@ -587,17 +592,17 @@ impl Module {`
`587`	`592`	`}`
`588`	`593`	`Adt::Enum(e) => {`
`589`	`594`	`for v in e.variants(db) {`
`590`		`- acc.extend(ModuleDef::Variant(v).diagnostics(db));`
	`595`	`+ acc.extend(ModuleDef::Variant(v).diagnostics(db, style_lints));`
`591`	`596`	`for diag in db.enum_variant_data_with_diagnostics(v.id).1.iter() {`
`592`	`597`	`emit_def_diagnostic(db, acc, diag);`
`593`	`598`	`}`
`594`	`599`	`}`
`595`	`600`	`}`
`596`	`601`	`}`
`597`		`- acc.extend(def.diagnostics(db))`
	`602`	`+ acc.extend(def.diagnostics(db, style_lints))`
`598`	`603`	`}`
`599`	`604`	`ModuleDef::Macro(m) => emit_macro_def_diagnostics(db, acc, m),`
`600`		`- _ => acc.extend(def.diagnostics(db)),`
	`605`	`+ _ => acc.extend(def.diagnostics(db, style_lints)),`
`601`	`606`	`}`
`602`	`607`	`}`
`603`	`608`	`self.legacy_macros(db).into_iter().for_each(\|m\| emit_macro_def_diagnostics(db, acc, m));`
`@@ -738,7 +743,7 @@ impl Module {`
`738`	`743`	`}`
`739`	`744`
`740`	`745`	`for &item in &db.impl_data(impl_def.id).items {`
`741`		`- AssocItem::from(item).diagnostics(db, acc);`
	`746`	`+ AssocItem::from(item).diagnostics(db, acc, style_lints);`
`742`	`747`	`}`
`743`	`748`	`}`
`744`	`749`	`}`
`@@ -1616,14 +1621,19 @@ impl DefWithBody {`
`1616`	`1621`	`}`
`1617`	`1622`	`}`
`1618`	`1623`
`1619`		`- pub fn diagnostics(self, db: &dyn HirDatabase, acc: &mut Vec<AnyDiagnostic>) {`
	`1624`	`+ pub fn diagnostics(`
	`1625`	`+ self,`
	`1626`	`+ db: &dyn HirDatabase,`
	`1627`	`+ acc: &mut Vec<AnyDiagnostic>,`
	`1628`	`+ style_lints: bool,`
	`1629`	`+ ) {`
`1620`	`1630`	`db.unwind_if_cancelled();`
`1621`	`1631`	`let krate = self.module(db).id.krate();`
`1622`	`1632`
`1623`	`1633`	`let (body, source_map) = db.body_with_source_map(self.into());`
`1624`	`1634`
`1625`	`1635`	`for (_, def_map) in body.blocks(db.upcast()) {`
`1626`		`- Module { id: def_map.module_id(DefMap::ROOT) }.diagnostics(db, acc);`
	`1636`	`+ Module { id: def_map.module_id(DefMap::ROOT) }.diagnostics(db, acc, style_lints);`
`1627`	`1637`	`}`
`1628`	`1638`
`1629`	`1639`	`for diag in source_map.diagnostics() {`
`@@ -1784,7 +1794,7 @@ impl DefWithBody {`
`1784`	`1794`	`}`
`1785`	`1795`	`}`
`1786`	`1796`
`1787`		`- for diagnostic in BodyValidationDiagnostic::collect(db, self.into()) {`
	`1797`	`+ for diagnostic in BodyValidationDiagnostic::collect(db, self.into(), style_lints) {`
`1788`	`1798`	`acc.extend(AnyDiagnostic::body_validation_diagnostic(db, diagnostic, &source_map));`
`1789`	`1799`	`}`
`1790`	`1800`
`@@ -2897,13 +2907,18 @@ impl AssocItem {`
`2897`	`2907`	`}`
`2898`	`2908`	`}`
`2899`	`2909`
`2900`		`- pub fn diagnostics(self, db: &dyn HirDatabase, acc: &mut Vec<AnyDiagnostic>) {`
	`2910`	`+ pub fn diagnostics(`
	`2911`	`+ self,`
	`2912`	`+ db: &dyn HirDatabase,`
	`2913`	`+ acc: &mut Vec<AnyDiagnostic>,`
	`2914`	`+ style_lints: bool,`
	`2915`	`+ ) {`
`2901`	`2916`	`match self {`
`2902`	`2917`	`AssocItem::Function(func) => {`
`2903`		`- DefWithBody::from(func).diagnostics(db, acc);`
	`2918`	`+ DefWithBody::from(func).diagnostics(db, acc, style_lints);`
`2904`	`2919`	`}`
`2905`	`2920`	`AssocItem::Const(const_) => {`
`2906`		`- DefWithBody::from(const_).diagnostics(db, acc);`
	`2921`	`+ DefWithBody::from(const_).diagnostics(db, acc, style_lints);`
`2907`	`2922`	`}`
`2908`	`2923`	`AssocItem::TypeAlias(type_alias) => {`
`2909`	`2924`	`for diag in hir_ty::diagnostics::incorrect_case(db, type_alias.id.into()) {`