fns.rs:14

Signature:

check_free_fn(program: Program, 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 free fn

Line	Coverage	Source
24	47	(check_fn(program, Env::default(), Wcs::t(), f, crate_id) => ())
		──────── ("check free fn")
26	79	(check_free_fn(program, f, crate_id) => ())

Keyboard shortcuts

A MIR Formality

Judgment check_free_fn at crates/formality-rust/src/check/fns.rs:14

Judgment `check_free_fn` at crates/formality-rust/src/check/fns.rs:14