Judgment calls_reused_child_twice
judgment_fn! {
fn calls_reused_child_twice(value: u32) => u32 {
/* rules omitted */
}
}Source: crates/formality-core/src/judgment/test_memo/iteration.rs:80
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.
twice| Line | Coverage | Source |
|---|---|---|
| 85 | ✗ | (reused_child(value) => result) |
| 86 | ✗ | (reused_child(value) => _) |
| ──────── ("twice") | ||
| 88 | ✗ | (calls_reused_child_twice(value) => result) |