Negative coverage: check_drop_impl_always_applicable / Drop impl is always applicable / premise check_drop_impl_in_defining_crate(program, adt_id, crate_id) => ()
Premise at line 351. Observed failure causes: inapplicable.
Drop impl is always applicable| Line | Coverage | Source |
|---|---|---|
| 347 | ✗ | (if **trait_impl.trait_id() == *"Drop") |
| 349 | 1 | (let adt_id = drop_impl_adt_id(&trait_impl)?) |
| 351 | 1 | (check_drop_impl_in_defining_crate(program, adt_id, crate_id) => ()) |
| 352 | ✗ | (let adt = program.program().adt_item_named(adt_id)?.to_adt()) |
| 354 | ✗ | (scope(enter_universally(Env::default(), &with_variables(&adt.binder)) => (env, (adt_parameters, AdtBoundData { where_clauses, variants: _ }))) with() (let adt_self_ty = Ty::rigid(adt_id, adt_parameters)) // Prove: under the ADT's where-clauses, Drop is implemented for the ADT. // This will find the impl, unify its self type, and verify its where-clauses. (let drop_trait_ref = crate::grammar::TraitId::new("Drop").with(adt_self_ty, ())) (super::prove_goal(program, env, where_clauses, AtomicPredicate::is_implemented(drop_trait_ref)) => ())) |
| ──────── ("Drop impl is always applicable") | ||
| 363 | 5 | (check_drop_impl_always_applicable(program, trait_impl, crate_id) => ()) |
1 test failed proving this premise:
Source location: tests/drop.rs:338 (all coverage from this test)
Failed proof tree
check_all_crates failedmod.rs:42args
rule "check all prefixes"mod.rs:54check_crate failedmod.rs:61args
rule "check crate"mod.rs:74check_crate_item failedmod.rs:179rule "trait impl"mod.rs:195check_drop_impl_always_applicable failedimpls.rs:330rule "Drop impl is always applicable"impls.rs:351 (failed: inapplicable)