Judgment check_coherence at crates/formality-rust/src/check/coherence.rs:8
Signature:
check_coherence(program: Program, current_crate: Crate) => ()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.
check_coherence| Line | Coverage | Source |
|---|---|---|
| 15 | N/A | (let current_crate_impls = program.trait_impls_in_crate(¤t_crate)) |
| 16 | N/A | (let all_crate_impls = program.trait_impls()) |
| 17 | ✗ | (for_all(impl_a in current_crate_impls) (for_all(impl_b in all_crate_impls) (overlap_check_impl(program, impl_a, impl_b) => ()))) |
| 20 | ✗ | (for_all(trait_impl in current_crate_impls) (orphan_check(program, trait_impl) => ())) |
| 22 | ✗ | (for_all(neg_trait_impl in program.neg_trait_impls_in_crate(¤t_crate)) (orphan_check_neg(program, neg_trait_impl) => ())) |
| ──────── ("check_coherence") | ||
| 25 | 114 | (check_coherence(program, current_crate) => ()) |