Test min_problem_case_4

Source location: tests/borrowck.rs:2499

fn min_problem_case_4<'a>(list: &'a mut Map, list2: &'a mut Map) -> u32 {
    exists<'r0> {
        let num: &'r0 mut u32 = &'r0 mut (*list).value;
        list = &'a mut *list2;
        num;
        return 0_u32;
    }
}

Rules proved (78)

Premises failed (0)

This test records no negative coverage.

Proof trees