Test test_exists_not_local
Source location: crates/formality-rust/src/prove/test/is_local.rs:26
#[test]
fn test_exists_not_local() {
test_prove(
Program::empty(),
term("exists<T> {} => {@IsLocal(Debug(T))}"),
)
.assert_ok(expect!["{Constraints { env: Env { variables: [?ty_1], bias: Soundness, pending: [], allow_pending_outlives: false }, known_true: false, substitution: {} }}"])
}Rules proved (6)
Premises failed (0)
This test records no negative coverage.
Proof trees
Proof tree
prove_predicate_list (some)prove_predicate_list.rs:28args
prove_predicate (trait ref is local)prove_predicate.rs:137args
is_local_trait_ref (local parameter)is_local.rs:230args
is_local_parameter (existential variable)is_local.rs:330args
prove_after (prove_after)prove_after.rs:20args
prove_predicate_list (none)prove_predicate_list.rs:21args