Judgment propagated_other_child
judgment_fn! {
fn propagated_other_child() => u32 {
/* rules omitted */
}
}Source: crates/formality-core/src/judgment/test_memo/iteration.rs:144
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.
grandchild| Line | Coverage | Source |
|---|---|---|
| 149 | ✗ | (propagated_grandchild() => value) |
| ──────── ("grandchild") | ||
| 151 | ✗ | (propagated_other_child() => value) |