Decision #729 — library/alloc/src/raw_vec/mod.rs:460
Status: unreached
Truth table
| row | c0 br 4984 | c1 br 4987 | outcome |
|---|
Independent-effect pairs
c0(branch4984): DEAD view gap →scry_interval::widen_with_thresholds· br_ifc1(branch4987): DEAD view gap →scry_interval::widen_with_thresholds· br_if