Test foo

Source location: tests/borrowck.rs:131

fn foo() -> Datum {
    let x: Datum = Datum { value: 0_u32 };
    let y: Datum = x;
    x = Datum { value: 1_u32 };
    let z: Datum = x;
    return z;
}

Rules proved (59)

Premises failed (0)

This test records no negative coverage.

Proof trees