proposal: remove_library_names

[kevmoo]

remove_library_names

Description

This is a corollary to unnecessary_library_directive. If you need a library directive, it almost certainly shouldn't have a name. The names really don't offer anything.

Kind

Style, mostly.

Bad Examples

@annotatedLibrary
/// With a comment
library but_a_pointless_name;

Good Examples

@annotatedLibrary
/// With a comment
library;

Discussion

See https://dart-lang.github.io/linter/lints/unnecessary_library_directive.html
And https://dart-lang.github.io/linter/lints/library_annotations.html
And https://dart-lang.github.io/linter/lints/dangling_library_doc_comments.html

Aligns with https://dart.dev/guides/language/effective-dart/style#dont-explicitly-name-libraries

[srawlins]

Duplicate of #58950?

[kevmoo]

Duplicate of #58950?

Yes!!!