moonbitlang / core / 5381
91%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 408
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
5381

push

github

bobzhang 
feat(immut/hashset): make trait promotions explicit via extend

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

HashSet has no methods worth keeping promoted -- the compiler flags only
@quickcheck.Arbitrary, Eq, Hash, and Show, all of which we deprecate
(`#deprecated(..., skip_current_package=true)` + `#doc(hidden)`), each message
naming the concrete replacement. HashSet is a collection, so its Show is
deprecated in favour of @debug.Debug.

They stay callable (with a deprecation warning) but are absent from
pkg.generated.mbti -- the generated interface is unchanged. The blackbox-test-only
`MyString` struct (derive(@debug.Debug)) gets an inline `pub extend MyString with
@debug.Debug` in the test file (test types can't be named from the source shim).

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

Verified: `moon check --deny-warn --target all` clean; `moon test -p immut/hashset --target all` green.

Reviewed by Codex CLI: four HashSet extends cover exactly the flagged methods,
MyString promotes only Debug::to_repr, no promotions needed, all deprecated +
hidden so .mbti is byte-identical to main, generic element dispatch left intact,
scoped to immut/hashset/.

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.84 hits per line

Jobs
ID Job ID Ran Files Coverage
1 5381.1 409
91.31
 GitHub Action Run
Source Files on build 5381