Negative coverage: prove_wc / subtype / premise prove_sub(decls, env, assumptions, a, b) => c

Premise at line 133. Observed failure causes: failed_judgment.

5 tests failed proving this premise:

Source location: tests/mir_typeck.rs:147

fn foo (b: bool) -> u32 {
    if b {
        return 1 _ u32;
    } else {
        return false;
    }
}

Source location: tests/mir_typeck.rs:300

fn bar(v1: ()) -> () {
    let v0: () = foo(v1);
    return v0;
}

Source location: tests/mir_typeck.rs:360

fn bar(v1: u32) -> u32 {
    let v0: u32 = identity::<bool>(v1);
    return v0;
}

Source location: tests/mir_typeck.rs:421

fn foo (v1: ()) -> u32 {
    return v1;
}

Source location: tests/mir_typeck.rs:630

fn foo (v1: u32) -> u32 {
    let v2: Dummy = Dummy { value: false };
    return v1;
}