Judgment check_free_fn
judgment_fn! {
/// A "free function" is a free-standing function that is not part of an impl.
pub(crate) fn check_free_fn(
program: Program,
f: Fn,
crate_id: CrateId,
) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/fns.rs:14
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 free fn| Line | Coverage | Source |
|---|---|---|
| 24 | 81 | (check_fn(program, Env::default(), Predicates::t(), f, crate_id) => ()) |
| ──────── ("check free fn") | ||
| 26 | 175 | (check_free_fn(program, f, crate_id) => ()) |