Judgment calls_child_then_grandchild
judgment_fn! {
fn calls_child_then_grandchild() => u32 {
/* rules omitted */
}
}Source: crates/formality-core/src/judgment/test_memo/iteration.rs:52
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.
both| Line | Coverage | Source |
|---|---|---|
| 57 | ✗ | (propagated_child() => child_value) |
| 58 | ✗ | (propagated_grandchild() => direct_value) |
| 59 | ✗ | (if child_value == direct_value) |
| ──────── ("both") | ||
| 61 | ✗ | (calls_child_then_grandchild() => child_value) |