Judgment move_place at crates/formality-mdbook/src/lib.rs:500
Signature:
move_place(env: Env, live_after: LivePlaces, place: Place, ty: Ty,) => EnvThe 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 |
|---|---|---|
| 511 | ✗ | (if live_after.is_live(&place)) |
| 512 | ✗ | (prove_is_copy(&env, ty) => ()) |
| ──────── ("copy") | ||
| 514 | ✗ | (move_place(env, _live_after, _place, ty) => &env) |
give| Line | Coverage | Source |
|---|---|---|
| 518 | ✗ | (if !live_after.is_live(&place)) |
| 519 | N/A | (let env = env.with_place_in_flight(&place)) |
| ──────── ("give") | ||
| 521 | ✗ | (move_place(env, live_after, place, _ty) => env) |