Judgment check_trait_impl_item at crates/formality-rust/src/check/impls.rs:153
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 |
|---|---|---|
| 165 | ✗ | (check_fn_in_impl(program, env, assumptions, trait_items, v, crate_id) => ()) |
| ──────── ("fn in impl") | ||
| 167 | ✗ | (check_trait_impl_item(program, env, assumptions, trait_items, ImplItem::Fn(v), crate_id) => ()) |
associated ty value| Line | Coverage | Source |
|---|---|---|
| 171 | ✗ | (check_associated_ty_value(program, env, assumptions, trait_items, v) => ()) |
| ──────── ("associated ty value") | ||
| 173 | 115 | (check_trait_impl_item(program, env, assumptions, trait_items, ImplItem::AssociatedTyValue(v), crate_id) => ()) |