Decision #791 — library/alloc/src/boxed.rs:289
Status: no_witness
Truth table
| row | c0 br 5250 | c1 br 5251 | outcome |
|---|---|---|---|
| 22383 | F | F | F |
| 22384 | F | F | F |
| 31861 | F | F | F |
| 31862 | F | F | F |
| 38202 | F | F | F |
| 38203 | F | F | F |
| 44415 | F | F | F |
| 44416 | F | F | F |
| 72503 | F | F | F |
| 72504 | F | F | F |
| 84016 | F | F | F |
| 84017 | F | F | F |
| 135213 | F | F | F |
| 135214 | F | F | F |
| 135215 | F | F | F |
| 135216 | F | F | F |
| 158149 | F | F | F |
| 158150 | F | F | F |
| 158151 | F | F | F |
| 158152 | F | F | F |
Independent-effect pairs
c0(branch5250): GAP view gap →scry_octagon::narrow· br_ifc1(branch5251): GAP view gap →scry_octagon::narrow· br_if