Judgment check_trait_item at crates/formality-rust/src/check/traits.rs:32
Signature:
check_trait_item(program: Program, env: Env, where_clauses: Wcs, trait_item: TraitItem, 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 trait| Line | Coverage | Source |
|---|---|---|
| 43 | ✗ | (check_fn_in_trait(program, env, where_clauses, f, crate_id) => ()) |
| ──────── ("fn in trait") | ||
| 45 | 2 | (check_trait_item(program, env, where_clauses, TraitItem::Fn(f), crate_id) => ()) |
associated ty in trait| Line | Coverage | Source |
|---|---|---|
| 49 | ✗ | (check_associated_ty(program, env, where_clauses, v) => ()) |
| ──────── ("associated ty in trait") | ||
| 51 | 99 | (check_trait_item(program, env, where_clauses, TraitItem::AssociatedTy(v), crate_id) => ()) |