Judgment type_expr
judgment_fn! {
fn type_expr(
cfn: CodegenFn,
scope: CodegenScope,
expr: Expr,
) => Ty {
/* rules omitted */
}
}Source: crates/formality-rust/src/codegen/mod.rs:463
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.
type_expr| Line | Coverage | Source |
|---|---|---|
| 472 | ✗ | (borrow_check_expr( &cfn.typeck_env, &cfn.assumptions, &scope.flow_state, expr, LivePlaces::default(), ) => (ty, state)) |
| 479 | N/A | (let () = assert_no_constraints(state)) |
| ──────── ("type_expr") | ||
| 481 | ✗ | (type_expr(cfn, scope, expr) => ty) |