Test reborrow

Source location: tests/borrowck.rs:337

fn reborrow<'a>(a: &'a mut u8) -> &'a mut u8 {
    exists<'r0, 'r1> {
        if true {
            let b: &'r1 mut u8 = &'r0 mut *a;
            return b;
        }
        return a;
    }
}

Rules proved (69)

Premises failed (0)

This test records no negative coverage.

Proof trees