Warn when rustdoc:: group is omitted from lint names
#86849
+25
−32
Merged