premise `if let Some(places_live_on_continue) = state.live_after_continue(label)`

Premise at line 268. Observed failure causes: if_let.

continue

Line	Coverage	Source
267	✗	(if state.scope_has_label(label))
268	1	(if let Some(places_live_on_continue) = state.live_after_continue(label))
269	N/A	(let locals_to_drop = state.locals_dropped_to_label(label))
270	1	(drop_places(env, assumptions, state, locals_to_drop, places_live_on_continue) => state)
271	N/A	(let state = state.with_continue(label))
272	N/A	(let state = state.diverges())
		──────── ("continue")
274	3	(borrow_check_statement(env, assumptions, state, Stmt::Continue { label }, places_live_on_exit) => (env, state))

1 test failed proving this premise:

Source location: tests/mir_typeck.rs:825

fn foo() -> u32 {
    'a: {
        continue 'a;
    }
    return 0 _ u32;
}

Failed proof tree

Keyboard shortcuts