Signature:
check_crate_item(program: Program, c: CrateItem, crate_id: CrateId,) => ()
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 |
|---|
| 187 | 4 | (check_trait(program, Env::default(), v, crate_id) => ()) |
| | ──────── ("trait") |
| 189 | 148 | (check_crate_item(program, CrateItem::Trait(v), crate_id) => ()) |
trait impl
| Line | Coverage | Source |
|---|
| 193 | 8 | (check_trait_impl(program, v, crate_id) => ()) |
| 194 | 5 | (check_drop_impl_always_applicable(program, v, crate_id) => ()) |
| | ──────── ("trait impl") |
| 196 | 144 | (check_crate_item(program, CrateItem::TraitImpl(v), crate_id) => ()) |
adt
| Line | Coverage | Source |
|---|
| 200 | 3 | (check_adt(program, &s.to_adt()) => ()) |
| | ──────── ("adt") |
| 202 | 63 | (check_crate_item(program, CrateItem::AdtItem(s), crate_id) => ()) |
free fn
| Line | Coverage | Source |
|---|
| 206 | 64 | (check_free_fn(program, f, crate_id) => ()) |
| | ──────── ("free fn") |
| 208 | 111 | (check_crate_item(program, CrateItem::Fn(f), crate_id) => ()) |
neg trait impl
| Line | Coverage | Source |
|---|
| 212 | 2 | (check_neg_trait_impl(program, i) => ()) |
| | ──────── ("neg trait impl") |
| 214 | 3 | (check_crate_item(program, CrateItem::NegTraitImpl(i), crate_id) => ()) |
test
| Line | Coverage | Source |
|---|
| 218 | ✗ | (check_test(program, t) => ()) |
| | ──────── ("test") |
| 220 | ✗ | (check_crate_item(program, CrateItem::Test(t), crate_id) => ()) |
feature gate
| Line | Coverage | Source |
|---|
| | ──────── ("feature gate") |
| 225 | 33 | (check_crate_item(program, CrateItem::FeatureGate(_feature_gate), crate_id) => ()) |