Decision #16 — library/alloc/src/collections/btree/node.rs:558
Status: unreached
Truth table
| row | c0 br 122 | c1 br 123 | outcome |
|---|
Independent-effect pairs
c0(branch122): 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:1013c1(branch123): 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:1013