Judgment check_fn_in_trait
judgment_fn! {
fn check_fn_in_trait(
program: Program,
env: Env,
assumptions: Predicates,
f: Fn,
crate_id: CrateId,
) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/traits.rs:55
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.
check fn in trait| Line | Coverage | Source |
|---|---|---|
| 66 | ✗ | (super::fns::check_fn(program, env, assumptions, f, crate_id) => ()) |
| ──────── ("check fn in trait") | ||
| 68 | 193 | (check_fn_in_trait(program, env, assumptions, f, crate_id) => ()) |