moonbitlang / core / 4424

94%

push

github

feat(builtin): add ReadOnlyArray::filter and filter_map

Array and ArrayView both provide `filter` and `filter_map`.
ReadOnlyArray didn't. Add them, returning ReadOnlyArray to match the
existing convention (ReadOnlyArray::map returns ReadOnlyArray, not
Array). Implementations route through ArrayView::filter / filter_map
and reinterpret the result.

Tests cover the success path (some elements pass), empty input,
none-passes, and all-dropped (filter_map returning None).

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

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

14957 of 15879 relevant lines covered (94.19%)

216279.72 hits per line