Negative coverage: `borrow_check_expr` / `fn-name` / premise `let fn_decl = env.crates().fn_named(id)?`

Premise at line 516. Observed failure causes: inapplicable.

fn-name

Line	Coverage	Source
514	✗	(if let PlaceExpr::Var(id) = place)
515	✗	(if !state.has_local(id))
516	1	(let fn_decl = env.crates().fn_named(id)?)
517	1	(if fn_decl.binder.len() == 0)
518	N/A	(let ty = Ty::rigid(RigidName::fn_def(id), ()))
		──────── ("fn-name")
521	7	(borrow_check_expr(env, _assumptions, state, Expr::Place(place), _places_live_on_exit) => (ty, state))

1 test failed proving this premise:

Source location: tests/mir_typeck.rs:280

fn bar() -> u32 {
    let v1: u32 = foo(0_u32);
    return v1;
}

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 "let" nll.rs:194
    
    borrow_check_expr_has_ty failed nll.rs:351
    
    args
    
    rule "block" nll.rs:364
    
    borrow_check_expr failed nll.rs:372
    
    args
    
    rule "call" nll.rs:420
    
    borrow_check_expr failed nll.rs:372
    
    args
    
    rule "fn-name" nll.rs:516 (failed: inapplicable)