moonbitlang / core / 4635

Build # 4635

Build Type

push

github

Committed by bobzhang

Commit Message

warnings: enable unnecessary_annotation, drop 272 redundant qualifiers

Adds `+unnecessary_annotation` to the workspace warn-list and drops the
redundant qualifier prefix at every site the lint flags. Two prefix
shapes were flagged:

- `@pkg.` (e.g. `@json.JsonDecodeError(...)` where `JsonDecodeError`
  was already in scope via the `impl @json.FromJson for ...` block, so
  `@json.` was redundant).
- `Type::` (e.g. `LKey::value` where the receiver of a method is
  already typed and the `LKey::` prefix is unnecessary).

The script that performed the edit parses each warning's column and
its `\`prefix\`` from the message, then drops exactly that text at the
warned position. Result: 0 `unnecessary_annotation` warnings, all 6521
tests pass.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Coverage Stats

14956 of 15870 relevant lines covered (94.24%)

207094.12 hits per line

Source File

Press 'n' to go to next uncovered line, 'b' for previous

Source Not Available