Judgment borrow_check_expr_has_ty at crates/formality-rust/src/check/borrow_check/nll.rs:319
Signature:
borrow_check_expr_has_ty(env: TypeckEnv, assumptions: Wcs, state: FlowState, expr: Expr, ty: Ty, places_live_on_exit: LivePlaces,) => FlowStateThe number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.
block| Line | Coverage | Source |
|---|---|---|
| 332 | 19 | (borrow_check_expr(env, assumptions, state, expr, places_live_on_exit) => (ty_expr, state)) |
| 333 | 4 | (prove_assignable(env, assumptions, state, ty_expr, ty) => state) |
| ──────── ("block") | ||
| 335 | 57 | (borrow_check_expr_has_ty(env, assumptions, state, expr, ty, places_live_on_exit) => state) |