1
91%
main: 91%

Ran 23 Jul 2026 03:13AM UTC

Files 415

Run time 8s

Badge

Embed ▾

Committed 23 Jul 2026 03:12AM UTC coverage: 91.308%. Remained the same

Job # 5463.1

Build Type

push

github

Committed by

bobzhang

Commit Message

feat(quickcheck/splitmix): make trait promotions explicit via extend

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

RandomState has a derived (non-deprecated) Show, so Show is split: Show::to_string and Default are promoted; @debug.Debug and Show::output are deprecated.

Deprecated promotions carry `#deprecated(..., skip_current_package=true)` +
`#doc(hidden)`, each message naming the concrete replacement; they stay callable
but are hidden from pkg.generated.mbti.

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

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

Reviewed and signed off by Codex CLI.

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

Coverage Stats

15914 of 17429 relevant lines covered (91.31%)

188765.08 hits per line

moonbitlang / core / 5463 / 1
91%
main: 91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 5463.1

moonbitlang / core / 5463 / 1 91% main: 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 5463.1

moonbitlang / core / 5463 / 1
91%
main: 91%

README BADGES
x