Decision #53 — library/alloc/src/raw_vec/mod.rs:492
Status: no_witness
Truth table
| row | c0 br 531 | c1 br 532 | outcome |
|---|---|---|---|
| 13141 | F | F | F |
| 20859 | F | F | F |
| 92401 | F | F | F |
| 111264 | F | F | F |
Independent-effect pairs
c0(branch531): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: library/alloc/src/raw_vec/mod.rs:188c1(branch532): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: library/alloc/src/raw_vec/mod.rs:188