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