Judgment codegen_function at crates/formality-rust/src/codegen/mod.rs:66
Signature:
codegen_function(global: CodegenGlobal, key: MonoKey,) => (MiniRustFunction, CodegenGlobal)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.
function| Line | Coverage | Source |
|---|---|---|
| 74 | ✗ | (let (fn_data, body) = resolve_fn_body(global, key)?) |
| 75 | N/A | (let cfn = CodegenFn::new(&global.crates, &fn_data.output_ty)) |
| 76 | ✗ | (let (ret_local, arg_locals, scope, cfn) = setup_fn_args(cfn, fn_data)?) |
| 77 | ✗ | (codegen_block(global, cfn, scope, body) => (code, global, cfn)) |
| 78 | N/A | (let function = build_function(cfn, code, ret_local, arg_locals)) |
| ──────── ("function") | ||
| 80 | ✗ | (codegen_function(global, key) => (function, global)) |