Decision #288 — library/alloc/src/vec/mod.rs:1037
Status: no_witness
Truth table
| row | c0 br 1741 | c1 br 1742 | outcome |
|---|---|---|---|
| 11725 | T | F | T |
| 13101 | T | F | T |
| 14426 | T | F | T |
| 87443 | T | F | T |
| 87444 | T | F | T |
| 91711 | T | F | T |
| 91712 | T | F | T |
Independent-effect pairs
c0(branch1741): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:2580 ← lib.rs:3187 ← library/alloc/src/vec/mod.rs:1004c1(branch1742): GAP view gap →scry_analyze_core::compute_bit_facts· br_if