Judgment check_coherence
judgment_fn! {
/// Runs coherence checking (orphan, overlap, duplicates) for the current crate.
/// Returns ProvenSet<()> caller.
pub(crate) fn check_coherence(program: Program, current_crate: Crate) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/coherence.rs:7
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 |
|---|---|---|
| 14 | N/A | (let current_crate_impls = program.trait_impls_in_crate(¤t_crate)) |
| 15 | N/A | (let all_crate_impls = program.trait_impls()) |
| 16 | ✗ | (for_all(impl_a in current_crate_impls) (for_all(impl_b in all_crate_impls) (overlap_check_impl(program, impl_a, impl_b) => ()))) |
| 19 | ✗ | (for_all(trait_impl in current_crate_impls) (orphan_check(program, trait_impl) => ())) |
| 21 | ✗ | (for_all(neg_trait_impl in program.neg_trait_impls_in_crate(¤t_crate)) (orphan_check_neg(program, neg_trait_impl) => ())) |
| ──────── ("check_coherence") | ||
| 24 | 214 | (check_coherence(program, current_crate) => ()) |