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 |
|---|
| 172 | 4 | (check_trait(program, Env::default(), v, crate_id) => ()) |
| | ──────── ("trait") |
| 174 | 114 | (check_crate_item(program, CrateItem::Trait(v), crate_id) => ()) |
trait impl
| Line | Coverage | Source |
|---|
| 178 | 8 | (check_trait_impl(program, v, crate_id) => ()) |
| 179 | 3 | (check_drop_impl_always_applicable(program, v) => ()) |
| | ──────── ("trait impl") |
| 181 | 110 | (check_crate_item(program, CrateItem::TraitImpl(v), crate_id) => ()) |
adt
| Line | Coverage | Source |
|---|
| 185 | 3 | (check_adt(program, &s.to_adt()) => ()) |
| | ──────── ("adt") |
| 187 | 31 | (check_crate_item(program, CrateItem::AdtItem(s), crate_id) => ()) |
free fn
| Line | Coverage | Source |
|---|
| 191 | 47 | (check_free_fn(program, f, crate_id) => ()) |
| | ──────── ("free fn") |
| 193 | 79 | (check_crate_item(program, CrateItem::Fn(f), crate_id) => ()) |
neg trait impl
| Line | Coverage | Source |
|---|
| 197 | 2 | (check_neg_trait_impl(program, i) => ()) |
| | ──────── ("neg trait impl") |
| 199 | 3 | (check_crate_item(program, CrateItem::NegTraitImpl(i), crate_id) => ()) |
test
| Line | Coverage | Source |
|---|
| 203 | ✗ | (check_test(program, t) => ()) |
| | ──────── ("test") |
| 205 | ✗ | (check_crate_item(program, CrateItem::Test(t), crate_id) => ()) |
feature gate
| Line | Coverage | Source |
|---|
| | ──────── ("feature gate") |
| 210 | 6 | (check_crate_item(program, CrateItem::FeatureGate(_feature_gate), crate_id) => ()) |