hinger_v 1b05488173 Separate flat_index < 0 from >= input.size() and throw only at the latter

2026-07-16 19:30:02 +02:00

..

aare

Separate flat_index < 0 from >= input.size() and throw only at the latter

2026-07-16 19:30:02 +02:00