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 access_permitted at crates/formality-rust/src/check/borrow_check/nll.rs:690

Signature:

access_permitted(env: TypeckEnv, assumptions: Wcs, state: FlowState, access: Access, places_live_after_access: 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.

access_permitted
LineCoverageSource
70210(if match access.kind {
AccessKind::Write => check_place_writable(&state, &access.place.to_place_expression()),
AccessKind::Read | AccessKind::Move => check_place_initialized(&state, &access.place.to_place_expression()),
})
70610(access_permitted_by_loans(env, assumptions, state, access, places_live_after_access) => state)
──────── ("access_permitted")
70858(access_permitted(env, assumptions, state, access, places_live_after_access) => state)