Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Judgment borrow_check_loop at crates/formality-rust/src/check/borrow_check/nll.rs:535

Signature:

borrow_check_loop(env: TypeckEnv, assumptions: Wcs, state: FlowState, body: Block, places_live_on_exit: LivePlaces,) => FlowState

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
LineCoverageSource
5476(borrow_check_block(env, assumptions, state, body, places_live_on_exit) => state)
549✗(borrow_check_loop(env, assumptions, state, body, places_live_on_exit) => state)
──────── ("loop")
55111(borrow_check_loop(env, assumptions, state, body, places_live_on_exit) => state)
fixed-point
LineCoverageSource
5556(borrow_check_block(env, assumptions, state0, body, places_live_on_exit) => state1)
556✗(if state0 == state1)
──────── ("fixed-point")
55813(borrow_check_loop(env, assumptions, state0, body, places_live_on_exit) => state1)