Judgment check_crate
judgment_fn! {
/// Check that the current crate `c` is valid,
/// given the complete program (which includes dependencies).
fn check_crate(
program: Program,
c: Crate,
) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/mod.rs:61
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 |
|---|---|---|
| 71 | 6 | (check_for_duplicate_items(program) => ()) |
| 72 | 6 | (check_for_non_lifetime_binders(c) => ()) |
| 73 | ✗ | (for_all(item in &c.items) (check_crate_item(program, item, &c.id) => ())) |
| 75 | 20 | (check_coherence(program, c) => ()) |
| ──────── ("check crate") | ||
| 77 | 214 | (check_crate(program, Crate { id: _id, items: _items }) => ()) |