Judgment move_place at crates/formality-mdbook/src/lib.rs:469
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 |
|---|---|---|
| 480 | ✗ | (if live_after.is_live(&place)) |
| 481 | ✗ | (prove_is_copy(&env, ty) => ()) |
| ──────── ("copy") | ||
| 483 | ✗ | (move_place(env, _live_after, _place, ty) => &env) |
give| Line | Coverage | Source |
|---|---|---|
| 487 | ✗ | (if !live_after.is_live(&place)) |
| 488 | N/A | (let env = env.with_place_in_flight(&place)) |
| ──────── ("give") | ||
| 490 | ✗ | (move_place(env, live_after, place, _ty) => env) |