DanielXMoore / Hera / 24964915217

100%

main: 100%

Pull #75

github

PR feedback: simplify rValueCast, ts-expect-style tests, CHANGELOG

- compiler.civet: $$final's `: MaybeResult<typeof $$m>` annotation does
  the typing work; the cast on the assignment from $$r is just bypassing
  TS's view of $$r.value pre-mutation, so `as any` is sufficient
  there too (edemaine).
- inference.test-d.ts: rewrite using `expectType<T>(_: T)` and
  `TypeEqual<A, B>` from TypeStrong/ts-expect's tiny core, so each
  assertion's intent is explicit (edemaine).
- CHANGELOG: document the migration path — recursive grammars now need
  a `::Type` annotation in the cycle, and grammar authors opt into
  literal-type discriminators with `as const` (edemaine).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

328 of 328 branches covered (100.0%)

Branch coverage included in aggregate %.

54 of 54 new or added lines in 1 file covered. (100.0%)

1466 of 1466 relevant lines covered (100.0%)

97.55 hits per line