4635
90%

Ran 07 Jun 2026 01:11AM UTC

Jobs 1

Files 370

Run time 1min

Badge

Embed ▾

Committed 07 Jun 2026 01:09AM UTC coverage: 94.241%. Remained the same

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

Coverage Regressions

Lines	Coverage	∆	File
7	93.75	0.0%	hashmap/hashmap.mbt
5	96.89	0.0%	immut/sorted_set/immutable_set.mbt
3	78.26	-0.46%	bytes/internal/regex_engine/ast/pattern.mbt
3	92.15	0.0%	immut/vector/vector.mbt
2	91.3	-0.19%	string/internal/regex_engine/ast/pattern.mbt
1	93.06	0.0%	priority_queue/priority_queue.mbt

Jobs

ID	Job ID	Ran	Files	Coverage
1	4635.1	07 Jun 2026 01:11AM UTC	371	94.25	GitHub Action Run

moonbitlang / core / 4635
90%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 4635

moonbitlang / core / 4635 90%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 4635

moonbitlang / core / 4635
90%

README BADGES
x