moonbitlang / core / 6490

89%

push

github

refactor(encoding/ascii): derive Malformed views from the matched view

`decode_v128` recovered the offending input offset by dividing the *output*
offset (`bytes[result_offset / 2:]`), even though the matched view already
starts at the offending byte.

Bind the vector arm with `as current` and let the catch-all bind the view
directly, so both `Malformed` payloads come from the view being matched
rather than from arithmetic on the write cursor. This is what `decode_scalar`
already does. No behavior change — the existing quickcheck in
`decode_v128_wbtest.mbt` compares the vector and scalar error views on
arbitrary payloads at arbitrary view offsets.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013wPGhicD5xMW9xH5Uk56iK

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

16863 of 18534 relevant lines covered (90.98%)

283650.62 hits per line