Judgment resolve_place
judgment_fn! {
fn resolve_place(
cfn: CodegenFn,
scope: CodegenScope,
place: PlaceExpr,
) => TypedPlaceExpr {
/* rules omitted */
}
}Source: crates/formality-rust/src/codegen/mod.rs:419
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.
resolve| Line | Coverage | Source |
|---|---|---|
| 428 | ✗ | (borrow_check_place_expr( &cfn.typeck_env, &cfn.assumptions, &scope.flow_state, place, ) => (typed_place, returned_state)) |
| 434 | N/A | (let () = assert_no_constraints(returned_state)) |
| ──────── ("resolve") | ||
| 436 | ✗ | (resolve_place(cfn, scope, place) => typed_place) |