5491
91%

Ran 23 Jul 2026 04:23AM UTC

Jobs 1

Files 434

Run time 1min

Badge

Embed ▾

Committed 23 Jul 2026 04:22AM UTC coverage: 91.271%. Remained the same

Build # 5491

Build Type

push

github

Committed by

bobzhang

Commit Message

feat(char): make trait promotions explicit via extend

Enable `implicit_impl_as_method` (E0079) for the `char` package. It has no
trait-impl promotions of its own -- the only flagged promotions belong to
`TestHash`, a blackbox-test struct (`derive(Hash, Eq, Debug)`) in char_test.mbt,
which gets inline `pub extend TestHash with ...` promotions there (plain promote;
the type can't be named from a source shim). No source extends.mbt; pkg.generated.mbti
unchanged.

Part of the per-package series (see #3849 for deque). Scoped to char/.

Verified: `moon check --deny-warn --target all` clean; `moon test -p char --target all` green (39 tests).

Reviewed by Codex CLI: E0079 cleared; TestHash promoted inline; .mbti unchanged; scoped to char/.

Signed-off-by: Codex CLI <codex@openai.com>
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Coverage Stats

15883 of 17402 relevant lines covered (91.27%)

189058.79 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	5491.1	23 Jul 2026 04:23AM UTC	435	91.29	GitHub Action Run

moonbitlang / core / 5491
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5491

moonbitlang / core / 5491 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5491

moonbitlang / core / 5491
91%

README BADGES
x