5465
91%

Ran 23 Jul 2026 03:13AM UTC

Jobs 1

Files 416

Run time 1min

Badge

Embed ▾

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

Build # 5465

Build Type

push

github

Committed by

bobzhang

Commit Message

feat(int16): make trait promotions explicit via extend

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

Int16 is a numeric type: its arithmetic/bitwise operators (Add/Sub/Mul/Div/Mod/Neg/BitAnd/BitOr/BitXOr/Shl/Shr), Compare::compare, and Default are PROMOTED; Compare operators, Eq, Hash, Show::output (its to_string is already an explicit method, not flagged), and ToJson are DEPRECATED. Two tests that specifically exercise the deprecated Int16::equal / Int16::to_json methods carry #warnings("-deprecated") (matching the existing convention for tests of deprecated APIs).

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 int16/.

Verified: `moon check --deny-warn --target all` clean; `moon test -p int16 --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

15885 of 17400 relevant lines covered (91.29%)

189079.61 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	5465.1	23 Jul 2026 03:13AM UTC	417	91.31	GitHub Action Run

moonbitlang / core / 5465
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5465

moonbitlang / core / 5465 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5465

moonbitlang / core / 5465
91%

README BADGES
x