Decision #17 — library/core/src/ptr/mod.rs:642
Status: unreached
Truth table
| row | c0 br 116 | c1 br 117 | c2 br 119 | c3 br 120 | outcome |
|---|
Independent-effect pairs
c0(branch116): DEAD view gap →<core::str::pattern::TwoWaySearcher>::next::<core::str::pattern::MatchOnly>· br_if
inlined: library/alloc/src/collections/btree/node.rs:1030 ← library/alloc/src/collections/btree/node.rs:1008c1(branch117): DEAD view gap →<core::str::pattern::TwoWaySearcher>::next::<core::str::pattern::MatchOnly>· br_if
inlined: library/alloc/src/collections/btree/node.rs:1030 ← library/alloc/src/collections/btree/node.rs:1008c2(branch119): DEAD view gap →<core::str::pattern::TwoWaySearcher>::next::<core::str::pattern::MatchOnly>· br_if
inlined: library/alloc/src/collections/btree/node.rs:1030 ← library/alloc/src/collections/btree/node.rs:1010c3(branch120): DEAD view gap →<core::str::pattern::TwoWaySearcher>::next::<core::str::pattern::MatchOnly>· br_if
inlined: library/alloc/src/collections/btree/node.rs:1030 ← library/alloc/src/collections/btree/node.rs:1010