Judgment borrow_check
judgment_fn! {
/// Prove that any loans issued in this basic block are respected.
pub fn borrow_check(
env: TypeckEnv,
assumptions: Predicates,
state: FlowState,
block: Block,
) => () {
/* rules omitted */
}
}Source: crates/formality-rust/src/check/borrow_check/nll.rs:124
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 |
|---|---|---|
| 135 | 79 | (borrow_check_block(env, assumptions, state, block, LivePlaces::default()) => _state) |
| ──────── ("borrow_check") | ||
| 137 | 175 | (borrow_check(env, assumptions, state, block) => ()) |