Decision #469 — library/alloc/src/raw_vec/mod.rs:424
Status: unreached
Truth table
| row | c0 br 3217 | c1 br 3220 | outcome |
|---|
Independent-effect pairs
c0(branch3217): DEAD view gap →<alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next· br_if
inlined: lib.rs:4447 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825c1(branch3220): DEAD view gap →<alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next· br_if