Judgment check_crate at crates/formality-rust/src/check/mod.rs:60
Signature:
check_crate(program: Program, c: Crate,) => ()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 crate| Line | Coverage | Source |
|---|---|---|
| 70 | 6 | (check_for_duplicate_items(program) => ()) |
| 71 | 6 | (check_for_non_lifetime_binders(c) => ()) |
| 72 | ✗ | (for_all(item in &c.items) (check_crate_item(program, item, &c.id) => ())) |
| 74 | 11 | (check_coherence(program, c) => ()) |
| ──────── ("check crate") | ||
| 76 | 114 | (check_crate(program, Crate { id: _id, items: _items }) => ()) |