5341
91%

Ran 22 Jul 2026 10:19AM UTC

Jobs 1

Files 403

Run time 1min

Badge

Embed ▾

Committed 22 Jul 2026 10:18AM UTC coverage: 91.293%. Remained the same

Build # 5341

Build Type

push

github

Committed by

bobzhang

Commit Message

feat(ref): make trait promotions explicit via extend

Enable `implicit_impl_as_method` (E0079) for the `ref` package (in its moon.pkg)
and make its trait-impl promotions explicit via `extend`, in a dedicated
ref/extends.mbt shim.

Ref has no methods worth keeping promoted -- the compiler flags only
@quickcheck.Arbitrary and Show, both of which we deprecate
(`#deprecated(..., skip_current_package=true)` + `#doc(hidden)`), each message
naming the concrete replacement. Ref's Show impl is already #deprecated on main
(steering to @debug.Debug), so both to_string and output are deprecated.

They stay callable but are absent from pkg.generated.mbti -- the generated
interface is unchanged.

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

Verified: `moon check --deny-warn --target all` clean; `moon test -p ref --target all` green.

Reviewed by Codex CLI: two extends cover exactly Arbitrary + Show::{output,
to_string}, no promotions, both deprecated + hidden so .mbti byte-identical to
main, no caller breakage, scoped to ref/.

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

Coverage Stats

15885 of 17400 relevant lines covered (91.29%)

196792.62 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	5341.1	22 Jul 2026 10:19AM UTC	404	91.31	GitHub Action Run

moonbitlang / core / 5341
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5341

moonbitlang / core / 5341 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5341

moonbitlang / core / 5341
91%

README BADGES
x