Judgment check_trait_impl_item at crates/formality-rust/src/check/impls.rs:126
Signature:
check_trait_impl_item(program: Program, env: Env, assumptions: Wcs, trait_items: Vec<TraitItem>, impl_item: ImplItem, 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.
fn in impl| Line | Coverage | Source |
|---|---|---|
| 138 | ✗ | (check_fn_in_impl(program, env, assumptions, trait_items, v, crate_id) => ()) |
| ──────── ("fn in impl") | ||
| 140 | ✗ | (check_trait_impl_item(program, env, assumptions, trait_items, ImplItem::Fn(v), crate_id) => ()) |
associated ty value| Line | Coverage | Source |
|---|---|---|
| 144 | ✗ | (check_associated_ty_value(program, env, assumptions, trait_items, v) => ()) |
| ──────── ("associated ty value") | ||
| 146 | 98 | (check_trait_impl_item(program, env, assumptions, trait_items, ImplItem::AssociatedTyValue(v), crate_id) => ()) |