Decision #312 — library/alloc/src/vec/mod.rs:462
Status: no_witness
Truth table
| row | c0 br 1709 | c1 br 1713 | outcome |
|---|---|---|---|
| 90790 | F | * | F |
| 90791 | F | * | F |
| 98564 | F | * | F |
| 98565 | F | * | F |
| 107058 | F | * | F |
| 107059 | F | * | F |
| 115134 | F | * | F |
| 115135 | F | * | F |
| 376726 | F | * | F |
| 379363 | F | * | F |
| 382247 | F | * | F |
Independent-effect pairs
c0(branch1709): GAP view gap →<scry_bits::BitsCong>::reduce· br_if
inlined: lib.rs:6298c1(branch1713): DEAD view gap →<scry_bits::BitsCong>::reduce· br_if