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

Signature:

prove_place_is_movable(env: TypeckEnv, assumptions: Wcs, state: FlowState, place: TypedPlaceExpr,) => 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.

local
LineCoverageSource
──────── ("local")
86353(prove_place_is_movable(
_env,
_assumptions,
state,
TypedPlaceExpressionData::Local(_),
) => state)
field
LineCoverageSource
872✗(prove_place_is_movable(env, assumptions, state, prefix) => state)
──────── ("field")
8743(prove_place_is_movable(
env,
assumptions,
state,
TypedPlaceExpressionData::Field(prefix, _),
) => state)
copy
LineCoverageSource
8832(prove_ty_is_copy(env, assumptions, state, &place.ty) => state)
──────── ("copy")
8859(prove_place_is_movable(env, assumptions, state, place) => state)