nll.rs:126

Signature:

borrow_check(env: TypeckEnv, assumptions: Wcs, state: FlowState, block: Block,) => ()

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.

borrow_check

Line	Coverage	Source
137	46	(borrow_check_block(env, assumptions, state, block, LivePlaces::default()) => _state)
		──────── ("borrow_check")
139	75	(borrow_check(env, assumptions, state, block) => ())

Keyboard shortcuts

A MIR Formality

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

Judgment `borrow_check` at crates/formality-rust/src/check/borrow_check/nll.rs:126