Judgment borrow_check_loop
judgment_fn! {
/// Borrow-check a place expression, returning its type.
fn borrow_check_loop(
env: TypeckEnv,
assumptions: Predicates,
state: FlowState,
body: Block,
places_live_on_exit: LivePlaces,
) => FlowState {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/borrow_check/nll.rs:640
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.
loop| Line | Coverage | Source |
|---|---|---|
| 652 | 9 | (borrow_check_block(env, assumptions, state, body, places_live_on_exit) => state) |
| 654 | 3 | (borrow_check_loop(env, assumptions, state, body, places_live_on_exit) => state) |
| ──────── ("loop") | ||
| 656 | 20 | (borrow_check_loop(env, assumptions, state, body, places_live_on_exit) => state) |
fixed-point| Line | Coverage | Source |
|---|---|---|
| 660 | 9 | (borrow_check_block(env, assumptions, state0, body, places_live_on_exit) => state1) |
| 661 | 3 | (if state0 == state1) |
| ──────── ("fixed-point") | ||
| 663 | 23 | (borrow_check_loop(env, assumptions, state0, body, places_live_on_exit) => state1) |