Judgment check_trait_impl_item
judgment_fn! {
fn check_trait_impl_item(
program: Program,
env: Env,
assumptions: Predicates,
trait_items: Vec<TraitItem>,
impl_item: ImplItem,
crate_id: CrateId,
) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/impls.rs:151
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 |
|---|---|---|
| 163 | 3 | (check_fn_in_impl(program, env, assumptions, trait_items, v, crate_id) => ()) |
| ──────── ("fn in impl") | ||
| 165 | 5 | (check_trait_impl_item(program, env, assumptions, trait_items, ImplItem::Fn(v), crate_id) => ()) |
associated ty value| Line | Coverage | Source |
|---|---|---|
| 169 | ✗ | (check_associated_ty_value(program, env, assumptions, trait_items, v) => ()) |
| ──────── ("associated ty value") | ||
| 171 | 194 | (check_trait_impl_item(program, env, assumptions, trait_items, ImplItem::AssociatedTyValue(v), crate_id) => ()) |