Negative coverage: `borrow_check_statement` / `continue` / premise `if let Some(places_live_on_continue) = state.live_after_continue(label)`

Premise at line 269. Observed failure causes: if_let.

continue

Line	Coverage	Source
268	✗	(if state.scope_has_label(label))
269	1	(if let Some(places_live_on_continue) = state.live_after_continue(label))
270	N/A	(let locals_to_drop = state.locals_dropped_to_label(label))
271	1	(drop_places(env, assumptions, state, locals_to_drop, places_live_on_continue) => state)
272	N/A	(let state = state.with_continue(label))
273	N/A	(let state = state.diverges())
		──────── ("continue")
275	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

check_all_crates failed mod.rs:41
- args
- rule "check all prefixes" mod.rs:53
  - check_crate failed mod.rs:60
    
    args
    
    rule "check crate" mod.rs:73
    
    check_crate_item failed mod.rs:178
    
    rule "free fn" mod.rs:206
    
    check_free_fn failed fns.rs:14
    
    args
    
    rule "check free fn" fns.rs:24
    
    check_fn failed fns.rs:31
    
    args
    
    rule "check fn" fns.rs:55
    
    check_fn_body failed fns.rs:62
    
    args
    
    rule "expr fn body" fns.rs:90
    
    borrow_check failed nll.rs:127
    
    args
    
    rule "borrow_check" nll.rs:138
    
    borrow_check_block failed nll.rs:145
    
    rule "basic block" nll.rs:160
    
    borrow_check_statement failed nll.rs:177
    
    args
    
    rule "block" nll.rs:290
    
    borrow_check_block failed nll.rs:145
    
    args
    
    rule "basic block" nll.rs:160
    
    borrow_check_statement failed nll.rs:177
    
    args
    
    rule "continue" nll.rs:269 (failed: if_let)