judgment_fn! {
fn check_crate_item(
program: Program,
c: CrateItem,
crate_id: CrateId,
) => () {
/* rules omitted */
}
}
Source: crates/formality-rust/src/check/mod.rs:179
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.
trait
| Line | Coverage | Source |
|---|
| 188 | 7 | (check_trait(program, Env::default(), v, crate_id) => ()) |
| | ──────── ("trait") |
| 190 | 214 | (check_crate_item(program, CrateItem::Trait(v), crate_id) => ()) |
trait impl
| Line | Coverage | Source |
|---|
| 194 | 16 | (check_trait_impl(program, v, crate_id) => ()) |
| 195 | 5 | (check_drop_impl_always_applicable(program, v, crate_id) => ()) |
| | ──────── ("trait impl") |
| 197 | 210 | (check_crate_item(program, CrateItem::TraitImpl(v), crate_id) => ()) |
adt
| Line | Coverage | Source |
|---|
| 201 | 3 | (check_adt(program, &s.to_adt()) => ()) |
| | ──────── ("adt") |
| 203 | 59 | (check_crate_item(program, CrateItem::AdtItem(s), crate_id) => ()) |
free fn
| Line | Coverage | Source |
|---|
| 207 | 81 | (check_free_fn(program, f, crate_id) => ()) |
| | ──────── ("free fn") |
| 209 | 175 | (check_crate_item(program, CrateItem::Fn(f), crate_id) => ()) |
neg trait impl
| Line | Coverage | Source |
|---|
| 213 | 3 | (check_neg_trait_impl(program, i) => ()) |
| | ──────── ("neg trait impl") |
| 215 | 3 | (check_crate_item(program, CrateItem::NegTraitImpl(i), crate_id) => ()) |
test
| Line | Coverage | Source |
|---|
| 219 | ✗ | (check_test(program, t) => ()) |
| | ──────── ("test") |
| 221 | ✗ | (check_crate_item(program, CrateItem::Test(t), crate_id) => ()) |
feature gate
| Line | Coverage | Source |
|---|
| | ──────── ("feature gate") |
| 226 | 62 | (check_crate_item(program, CrateItem::FeatureGate(_feature_gate), crate_id) => ()) |
How to read this page