Test expanding

Source location: crates/formality-rust/src/prove/test/expanding.rs:23

#[test]
fn expanding() {
    test_prove(decls(), term("exists<T> {} => {Debug(T)}")).assert_ok(expect!["{Constraints { env: Env { variables: [?ty_1], bias: Soundness, pending: [], allow_pending_outlives: false }, known_true: false, substitution: {} }}"]);
}

Rules proved (4)

Premises failed (0)

This test records no negative coverage.

Proof trees