moonbitlang / core / 4806

91%

push

github

fix(builtin): make Array::unsafe_get/unsafe_set skip bounds checks (#3730)

Both methods are documented unsafe ("caller must ensure 0 <= idx <
length") and lower to the unchecked `%array.unsafe_get` / `%array.unsafe_set`
intrinsics at real call sites. Their fallback bodies, however, indexed the
buffer through the checked `UninitializedArray::at` / `::set` (`_[_]`), so
the body did a bounds check the contract says it must not.

Use the unchecked `UninitializedArray::unsafe_get` / `::unsafe_set` so the
body matches the intrinsic and the documented contract.

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

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

15204 of 16672 relevant lines covered (91.19%)

197061.45 hits per line