Test vec_vec_u32_debug

Source location: crates/formality-rust/src/prove/test/simple_impl.rs:30

#[test]
fn vec_vec_u32_debug() {
    let goal: Wc = term("Debug(Vec<Vec<u32>>)");
    prove(decls(), (), (), goal).assert_ok(expect!["{Constraints { env: Env { variables: [], bias: Soundness, pending: [], allow_pending_outlives: false }, known_true: true, substitution: {} }}"]);
}

Rules proved (9)

Premises failed (0)

This test records no negative coverage.

Proof trees