If I understand SI-8351 correctly, this code *will* execute when called directly (see the example in that ticket) but the error message with which we abort will never be seen (neither when calling the method directly nor when implicit search triggers it) because the a later bounds check fails, overriding our error with its own one (or backtracking in implicit search).