Judgment calls_sibling_children
judgment_fn! {
fn calls_sibling_children() => u32 {
/* rules omitted */
}
}Source: crates/formality-core/src/judgment/test_memo/iteration.rs:158
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.
siblings| Line | Coverage | Source |
|---|---|---|
| 163 | ✗ | (propagated_child() => left) |
| 164 | ✗ | (propagated_other_child() => right) |
| 165 | ✗ | (if left == right) |
| ──────── ("siblings") | ||
| 167 | ✗ | (calls_sibling_children() => left) |