Judgment orphan_check at crates/formality-rust/src/check/coherence.rs:31
Signature:
orphan_check(program: Program, impl_a: TraitImpl) => ()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| Line | Coverage | Source |
|---|---|---|
| 36 | N/A | (let (env, a) = Env::default().instantiate_universally(&impl_a.binder)) |
| 37 | N/A | (let trait_ref = a.trait_ref()) |
| 38 | 4 | (prove_goal(program, env, &a.where_clauses, Predicate::is_local(trait_ref)) => ()) |
| ──────── ("orphan_check") | ||
| 40 | 110 | (orphan_check(program, impl_a) => ()) |