// check: VerificationError
// check: IndexOutOfBounds

main() {
    let ret_if_val: bool;
    ret_if_val = true;
    if (move(ret_if_val)) {
        loop { break; if (true) { return; } else { continue; }; }
    } else {
        assert(false, 42);
        return;
    }
}