// check: VerificationError
// check: IndexOutOfBounds

main() {
    let ret_if_val: bool;
    ret_if_val = true;
    if (move(ret_if_val)) {
        // This must index out-of-bounds
        // - We will not insert a return, it is not the job of the IR to do so
        // - It must jump somewhere, or it will fall through to the else branch
        // - As such, the jump here is to the 'end of the else' which is an invalid jump
        loop { break; }
    } else {
        assert(false, 42);
        return;
    }
}