moonbitlang / core / 5286
91%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 393
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 91.293%. Remained the same
5286

push

github

bobzhang 
feat(priority_queue): make trait promotions explicit via extend

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

- Promote (plain `pub extend`): Default.
- Deprecate (`#deprecated(..., skip_current_package=true)` + `#doc(hidden)`):
  @quickcheck.Arbitrary, the whole Show trait (to_string + output), and ToJson.

PriorityQueue is a collection, so -- like Rust (Debug, not Display) -- Show is
deprecated in favour of @debug.Debug (its Show impl is already #deprecated on
main). ToJson is deprecated in favour of the free @json.to_json (#3850). The
deprecated promotions carry #doc(hidden), so pkg.generated.mbti gains only the
promoted PriorityQueue::default.

Part of the per-package series migrating the library off implicit method
promotion (see #3849 for deque). Scoped to priority_queue/.

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

Reviewed by Codex CLI: exact coverage (Default + Arbitrary + Show + ToJson;
Debug already explicit), split matches policy, no cross-package/blackbox callers
break, .mbti adds only PriorityQueue::default, scoped to priority_queue/.

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

15885 of 17400 relevant lines covered (91.29%)

189078.44 hits per line

Jobs
ID Job ID Ran Files Coverage
1 5286.1 394
91.31
 GitHub Action Run
Source Files on build 5286