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:975

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")
99285(prove_place_is_movable(
_env,
_assumptions,
state,
TypedPlaceExpressionData::Local(_),
) => state)
field
LineCoverageSource
10011(if let None = env.program.find_drop_impl(adt_id))
1002✗(prove_place_is_movable(env, assumptions, state, prefix) => state)
──────── ("field")
10043(prove_place_is_movable(
env,
assumptions,
state,
TypedPlaceExpressionData::Field(prefix, _, adt_id, _),
) => state)
copy
LineCoverageSource
10133(prove_ty_is_copy(env, assumptions, state, &place.ty) => state)
──────── ("copy")
10159(prove_place_is_movable(env, assumptions, state, place) => state)