Signature:
check_fn_body(program: Program, env: Env, assumptions: Wcs, body: MaybeFnBody, input_args: Vec<crate::grammar::InputArg>, output_ty: crate::grammar::Ty,) => ()
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.
no fn body
| Line | Coverage | Source |
|---|
| | ──────── ("no fn body") |
| 77 | 1 | (check_fn_body(program, env, assumptions, MaybeFnBody::NoFnBody, input_args, output_ty) => ()) |
trusted fn body
| Line | Coverage | Source |
|---|
| | ──────── ("trusted fn body") |
| 83 | 5 | (check_fn_body(program, env, assumptions, MaybeFnBody::FnBody(FnBody::TrustedFnBody), input_args, output_ty) => ()) |
expr fn body
| Line | Coverage | Source |
|---|
| 88 | N/A | (let typeck_env = TypeckEnv::for_fn_body(env, program, output_ty)) |
| 89 | ✗ | (let initial_state = FlowState::for_fn_body(env, input_args)?) |
| 90 | 46 | (borrow_check(typeck_env, assumptions, initial_state, block) => ()) |
| | ──────── ("expr fn body") |
| 92 | 75 | (check_fn_body(program, env, assumptions, MaybeFnBody::FnBody(FnBody::Expr(block)), input_args, output_ty) => ()) |