Decision #15 — library/alloc/src/collections/btree/node.rs:1827
Status: unreached
Truth table
| row | c0 br 115 | c1 br 118 | outcome |
|---|
Independent-effect pairs
c0(branch115): 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(branch118): 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