1
94%
main: 94%

Ran 07 Jun 2026 01:11AM UTC

Files 371

Run time 7s

Badge

Embed ▾

Committed 07 Jun 2026 01:09AM UTC coverage: 94.251% (-0.001%) from 94.252%

Job # 4635.1

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

14985 of 15899 relevant lines covered (94.25%)

206716.38 hits per line

moonbitlang / core / 4635 / 1
94%
main: 94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4635.1

moonbitlang / core / 4635 / 1 94% main: 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4635.1

moonbitlang / core / 4635 / 1
94%
main: 94%

README BADGES
x