Judgment orphan_check_neg at crates/formality-rust/src/check/coherence.rs:45
Signature:
orphan_check_neg(program: Program, impl_a: NegTraitImpl) => ()The number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.
orphan_check_neg| Line | Coverage | Source |
|---|---|---|
| 56 | N/A | (let (env, a) = Env::default().instantiate_universally(&impl_a.binder)) |
| 57 | N/A | (let trait_ref = a.trait_ref()) |
| 58 | 1 | (prove_goal(program, env, &a.where_clauses, Predicate::is_local(trait_ref)) => ()) |
| ──────── ("orphan_check_neg") | ||
| 60 | 3 | (orphan_check_neg(program, impl_a) => ()) |