5529
91%

Ran 24 Jul 2026 04:15AM UTC

Jobs 1

Files 443

Run time 1min

Badge

Embed ▾

Committed 24 Jul 2026 04:14AM UTC coverage: 91.272%. Remained the same

Build # 5529

Build Type

push

github

Committed by

bobzhang

Commit Message

feat(tuple): make trait promotions explicit via extend

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

The tuple package defines two trait families for tuples:
- PROMOTE (plain `pub extend`): `Default::{default}` for Tuple2..Tuple16.
- DEPRECATE (`#deprecated(..., skip_current_package=true)` + `#doc(hidden)`):
  `@quickcheck.Arbitrary::{arbitrary}` for Tuple2..Tuple7.

Tuple types cannot be named directly in an `extend` (E4024); private,
interface-invisible aliases (`type TupleN[..] = (..)`) are introduced so the
promotions can be declared. They do not appear in pkg.generated.mbti.

No cross-package deprecation ripple. Part of the per-package series (see #3849
for deque). Scoped to tuple/.

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

Reviewed by Codex CLI: E0079 cleared; Default promoted (Tuple2..16), Arbitrary
deprecated+hidden (Tuple2..7); private tuple aliases do not leak; .mbti +15/-0;
scoped to tuple/.

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

Coverage Stats

15885 of 17404 relevant lines covered (91.27%)

189038.37 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	5529.1	24 Jul 2026 04:15AM UTC	444	91.29	GitHub Action Run

moonbitlang / core / 5529
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5529

moonbitlang / core / 5529 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5529

moonbitlang / core / 5529
91%

README BADGES
x