Handle documenting a lint that was renamed to a group

Author: shepmaster

src/tools/lint-docs/src/groups.rs

@@ -32,6 +32,10 @@ static GROUP_DESCRIPTIONS: &[(&str, &str)] = &[
     ),
 ];
 
+pub fn exists(name: &str) -> bool {
+    GROUP_DESCRIPTIONS.iter().any(|&(n, _)| n == name)
+}
+
 type LintGroups = BTreeMap<String, BTreeSet<String>>;
 
 impl<'a> LintExtractor<'a> {

src/tools/lint-docs/src/lib.rs

@@ -584,9 +584,15 @@ impl<'a> LintExtractor<'a> {
 fn add_renamed_lints(lints: &mut Vec<Lint>) {
     for (level, names) in RENAMES {
         for (from, to) in *names {
+            let doc = if groups::exists(to) {
+                format!("The lint `{from}` has been renamed to the group `{to}`.")
+            } else {
+                format!("The lint `{from}` has been renamed to [`{to}`](#{to}).")
+            };
+
             lints.push(Lint {
                 name: from.to_string(),
-                doc: vec![format!("The lint `{from}` has been renamed to [`{to}`](#{to}).")],
+                doc: vec![doc],
                 level: *level,
                 path: PathBuf::new(),
                 lineno: 0,