Decision #25 — library/core/src/ptr/mod.rs:1731
Status: unreached
Truth table
| row | c0 br 142 | c1 br 143 | outcome |
|---|
Independent-effect pairs
c0(branch142): DEAD view gap →alloc::str::join_generic_copy::<str, u8, alloc::string::String>· br_if
inlined: library/alloc/src/collections/btree/node.rs:1447c1(branch143): DEAD view gap →alloc::str::join_generic_copy::<str, u8, alloc::string::String>· br_if
inlined: library/alloc/src/collections/btree/node.rs:1447