Judgment check_fn_in_trait at crates/formality-rust/src/check/traits.rs:56
Signature:
check_fn_in_trait(program: Program, env: Env, assumptions: Wcs, f: Fn, 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.
check fn in trait| Line | Coverage | Source |
|---|---|---|
| 67 | ✗ | (super::fns::check_fn(program, env, assumptions, f, crate_id) => ()) |
| ──────── ("check fn in trait") | ||
| 69 | 2 | (check_fn_in_trait(program, env, assumptions, f, crate_id) => ()) |