Decision #1118 — alloc.rs:128
Status: unreached
Truth table
| row | c0 br 7815 | c1 br 7816 | outcome |
|---|
Independent-effect pairs
c0(branch7815): DEAD view gap →<alloc::raw_vec::RawVecInner<_>>::reserve::do_reserve_and_handle::<alloc::alloc::Global>· br_ifc1(branch7816): DEAD view gap →<alloc::raw_vec::RawVecInner<_>>::reserve::do_reserve_and_handle::<alloc::alloc::Global>· br_if