Judgment check_trait_item
judgment_fn! {
fn check_trait_item(
program: Program,
env: Env,
where_clauses: Predicates,
trait_item: TraitItem,
crate_id: CrateId,
) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/traits.rs:31
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 |
|---|---|---|
| 42 | ✗ | (check_fn_in_trait(program, env, where_clauses, f, crate_id) => ()) |
| ──────── ("fn in trait") | ||
| 44 | 193 | (check_trait_item(program, env, where_clauses, TraitItem::Fn(f), crate_id) => ()) |
associated ty in trait| Line | Coverage | Source |
|---|---|---|
| 48 | ✗ | (check_associated_ty(program, env, where_clauses, v) => ()) |
| ──────── ("associated ty in trait") | ||
| 50 | 195 | (check_trait_item(program, env, where_clauses, TraitItem::AssociatedTy(v), crate_id) => ()) |