Fix suggestion-cases-error of empty_line_after_outer_attr

Author: relaxcn

clippy_lints/src/empty_line_after.rs

@@ -10,7 +10,7 @@ use rustc_errors::{Applicability, Diag, SuggestionStyle};
 use rustc_lexer::TokenKind;
 use rustc_lint::{EarlyContext, EarlyLintPass, LintContext};
 use rustc_session::impl_lint_pass;
-use rustc_span::{BytePos, ExpnKind, Ident, InnerSpan, Span, SpanData, Symbol, kw};
+use rustc_span::{BytePos, ExpnKind, Ident, InnerSpan, Span, SpanData, Symbol, kw, sym};
 
 declare_clippy_lint! {
     /// ### What it does
@@ -129,18 +129,54 @@ struct Stop {
     kind: StopKind,
     first: usize,
     last: usize,
+    ident: Option<Ident>,
 }
 
 impl Stop {
-    fn convert_to_inner(&self) -> (Span, String) {
+    fn could_only_be_outer_attr(&self) -> bool {
+        if let Some(ident) = self.ident {
+            return matches!(
+                ident.name,
+                // Cannot be used at crate level
+                sym::repr | sym::test | sym::derive | sym::automatically_derived | sym::macro_export |
+                sym::on_unimplemented | sym::do_not_recommend | sym::path | sym::panic_handler | sym::global_allocator |
+                // Only has an effect on items but not throgh compile errors
+                sym::ignore | sym::should_panic | sym::proc_macro | sym::proc_macro_derive | sym::proc_macro_attribute |
+                // Has no effect when applied to a module
+                sym::must_use |
+                // Should be applied to a foreign function or static
+                sym::link_name | sym::link_ordinal | sym::link_section |
+                // Should be applied to an `extern crate` item
+                sym::no_link |
+                // Should be applied to a free function, impl method or static
+                sym::export_name | sym::no_mangle |
+                // Should be applied to a `static` variable
+                sym::used |
+                // Should be applied to function or closure
+                sym::inline |
+                // Should be applied to a function definition
+                sym::cold | sym::target_feature | sym::track_caller | sym::instruction_set |
+                // Only has an effect on modules
+                sym::no_implicit_prelude | sym::debugger_visualizer |
+                // Should be applied to a struct or enum
+                sym::non_exhaustive
+            );
+        }
+        false
+    }
+
+    fn convert_to_inner(&self) -> Option<(Span, String)> {
+        if self.could_only_be_outer_attr() {
+            return None;
+        }
         let inner = match self.kind {
             // #![...]
             StopKind::Attr => InnerSpan::new(1, 1),
             // /// or /**
             //   ^      ^
             StopKind::Doc(_) => InnerSpan::new(2, 3),
         };
-        (self.span.from_inner(inner), "!".into())
+        Some((self.span.from_inner(inner), "!".into()))
     }
 
     fn comment_out(&self, cx: &EarlyContext<'_>, suggestions: &mut Vec<(Span, String)>) {
@@ -177,6 +213,7 @@ impl Stop {
             },
             first: file.lookup_line(file.relative_position(lo))?,
             last: file.lookup_line(file.relative_position(hi))?,
+            ident: attr.ident(),
         })
     }
 }
@@ -356,6 +393,12 @@ impl EmptyLineAfter {
         if let Some(parent) = self.items.iter().rev().nth(1)
             && (parent.kind == "module" || parent.kind == "crate")
             && parent.mod_items == Some(id)
+            && let suggestions = gaps
+                .iter()
+                .flat_map(|gap| gap.prev_chunk)
+                .filter_map(Stop::convert_to_inner)
+                .collect::<Vec<(Span, String)>>()
+            && !suggestions.is_empty()
         {
             let desc = if parent.kind == "module" {
                 "parent module"
@@ -367,10 +410,7 @@ impl EmptyLineAfter {
                     StopKind::Attr => format!("if the attribute should apply to the {desc} use an inner attribute"),
                     StopKind::Doc(_) => format!("if the comment should document the {desc} use an inner doc comment"),
                 },
-                gaps.iter()
-                    .flat_map(|gap| gap.prev_chunk)
-                    .map(Stop::convert_to_inner)
-                    .collect(),
+                suggestions,
                 Applicability::MaybeIncorrect,
             );
         }
@@ -425,6 +465,7 @@ impl EmptyLineAfter {
                 first: line.line,
                 // last doesn't need to be accurate here, we don't compare it with anything
                 last: line.line,
+                ident: None,
             });
         }
 

tests/ui/empty_line_after/outer_attribute_only_be_outer.fixed

@@ -0,0 +1,9 @@
+#![warn(clippy::empty_line_after_outer_attr)]
+#![allow(dead_code)]
+
+//~v empty_line_after_outer_attr
+#[repr(align(536870912))]
+enum Aligned {
+    Zero = 0,
+    One = 1,
+}

tests/ui/empty_line_after/outer_attribute_only_be_outer.rs

@@ -0,0 +1,10 @@
+#![warn(clippy::empty_line_after_outer_attr)]
+#![allow(dead_code)]
+
+//~v empty_line_after_outer_attr
+#[repr(align(536870912))]
+
+enum Aligned {
+    Zero = 0,
+    One = 1,
+}

tests/ui/empty_line_after/outer_attribute_only_be_outer.stderr

@@ -0,0 +1,15 @@
+error: empty line after outer attribute
+  --> tests/ui/empty_line_after/outer_attribute_only_be_outer.rs:5:1
+   |
+LL | / #[repr(align(536870912))]
+LL | |
+   | |_^
+LL |   enum Aligned {
+   |   ------------ the attribute applies to this enum
+   |
+   = note: `-D clippy::empty-line-after-outer-attr` implied by `-D warnings`
+   = help: to override `-D warnings` add `#[allow(clippy::empty_line_after_outer_attr)]`
+   = help: if the empty line is unintentional, remove it
+
+error: aborting due to 1 previous error
+