5311
91%

Ran 22 Jul 2026 08:46AM UTC

Jobs 1

Files 398

Run time 1min

Badge

Embed ▾

Committed 22 Jul 2026 08:44AM UTC coverage: 91.293%. Remained the same

Build # 5311

Build Type

push

github

Committed by

bobzhang

Commit Message

feat(sorted_map): make trait promotions explicit via extend

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

- Promote (plain `pub extend`): Default.
- Deprecate (`#deprecated(..., skip_current_package=true)` + `#doc(hidden)`):
  @quickcheck.Arbitrary, @debug.Debug, Eq, @json.FromJson, the whole Show trait
  (to_string + output), and ToJson. Each message names the concrete replacement.

SortedMap is a collection, so its Show is deprecated in favour of @debug.Debug.
ToJson is deprecated in favour of the free @json.to_json (#3850). Also migrates
sorted_map's own blackbox test off the now-deprecated `.to_json()`
(-> `@json.to_json(...)`). pkg.generated.mbti gains only SortedMap::default.

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

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

Reviewed by Codex CLI: seven extends cover exactly the flagged methods, split +
replacement messages match policy, all three blackbox .to_json() callers migrated,
scoped to sorted_map/ with .mbti adding only SortedMap::default.

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

189078.75 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	5311.1	22 Jul 2026 08:46AM UTC	399	91.31	GitHub Action Run

moonbitlang / core / 5311
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5311

moonbitlang / core / 5311 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5311

moonbitlang / core / 5311
91%

README BADGES
x