Judgment access_kind_for_place_use at crates/formality-rust/src/check/borrow_check/nll.rs:802
Signature:
access_kind_for_place_use(env: TypeckEnv, assumptions: Wcs, state: FlowState, place: TypedPlaceExpr,) => (AccessKind, 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.
copy| Line | Coverage | Source |
|---|---|---|
| 815 | ✗ | (prove_ty_is_copy(env, assumptions, state, &place.ty) => state) |
| ──────── ("copy") | ||
| 817 | ✗ | (access_kind_for_place_use(_env, _assumptions, state, _place) => (AccessKind::Read, state)) |
move| Line | Coverage | Source |
|---|---|---|
| ──────── ("move") | ||
| 822 | 56 | (access_kind_for_place_use(_env, _assumptions, state, _place) => (AccessKind::Move, state)) |