5503
91%

Ran 23 Jul 2026 05:40AM UTC

Jobs 1

Files 438

Run time 1min

Badge

Embed ▾

Committed 23 Jul 2026 05:38AM UTC coverage: 91.271%. Remained the same

Build # 5503

Build Type

push

github

Committed by

bobzhang

Commit Message

feat(quickcheck): make trait promotions explicit via extend

Enable `implicit_impl_as_method` (E0079) for the `quickcheck` package. It has no
trait-impl promotions of its own -- the only flagged promotions belong to two
test/doc types: `H` (blackbox-test struct in arbitrary_test.mbt,
`derive(@quickcheck.Arbitrary, Debug)`) and `Point` (README.mbt.md doc-test
struct, `derive(Debug)`). Both get inline `pub extend` promotions in their files
(plain promote; the types 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 quickcheck/.

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

Reviewed by Codex CLI: E0079 cleared; H/Point promoted inline; .mbti unchanged; scoped to quickcheck/.

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%)

189059.03 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	5503.1	23 Jul 2026 05:40AM UTC	439	91.29	GitHub Action Run

moonbitlang / core / 5503
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5503

moonbitlang / core / 5503 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5503

moonbitlang / core / 5503
91%

README BADGES
x