Test bar

Source location: tests/borrowck.rs:3186

fn bar() -> u32 {
    exists<'r0, 'r1> {
        let v: u32 = 1_u32;
        let p: &'r0 u32 = &'r1 v;
        foo(0_u32);
        return *p;
    }
}

Rules proved (75)

Premises failed (0)

This test records no negative coverage.

Proof trees