1
91%
main: 91%

Ran 23 Jul 2026 03:20AM UTC

Files 425

Run time 11s

Badge

Embed ▾

Committed 23 Jul 2026 03:13AM UTC coverage: 91.308%. Remained the same

Job # 5473.1

Build Type

push

github

Committed by

bobzhang

Commit Message

feat(internal/regex_engine/automata): make trait promotions explicit via extend

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

The compiler flags four types:
- Mark: Compare (promote `compare`, deprecate the op_* operators), Eq, Hash.
- MarkSlotMap, Slot, State: Eq and Hash.

Only Mark::compare is promoted; everything else (Compare operators, Eq, Hash) is
deprecated (`#deprecated(..., skip_current_package=true)` + `#doc(hidden)`) with
concrete-replacement wording. pkg.generated.mbti gains only Mark::compare.

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

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

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

Coverage Stats

15914 of 17429 relevant lines covered (91.31%)

188765.41 hits per line

moonbitlang / core / 5473 / 1
91%
main: 91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 5473.1

moonbitlang / core / 5473 / 1 91% main: 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 5473.1

moonbitlang / core / 5473 / 1
91%
main: 91%

README BADGES
x