Test foo

Source location: tests/borrowck.rs:2828

fn foo() -> u32 {
    exists<'r0, 'r1> {
        'a: loop {
            let x: i32 = 0_i32;
            let r: &'r0 i32 = &'r1 x;
            let _y: i32 = *r;
            continue 'a;
        }
    }
}

Rules proved (76)

Premises failed (0)

This test records no negative coverage.

Proof trees