Judgment orphan_check_neg
judgment_fn! {
fn orphan_check_neg(program: Program, impl_a: NegTraitImpl) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/coherence.rs:44
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 |
|---|---|---|
| 55 | ✗ | (scope(enter_universally(Env::default(), &impl_a.binder) => (env, a)) with() (let trait_ref = a.trait_ref()) (prove_goal(program, env, &a.where_clauses, AtomicPredicate::is_local(trait_ref)) => ())) |
| ──────── ("orphan_check_neg") | ||
| 59 | 3 | (orphan_check_neg(program, impl_a) => ()) |