Decision #1640 — library/core/src/ptr/mod.rs:1939
Status: unreached
Truth table
| row | c0 br 4144 | c1 br 4145 | c2 br 4146 | c3 br 4147 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in <core::str::pattern::StrSearcher as core::str::pattern::Searcher>::next_match — 1 br_table_default + 3 br_table_target
c0(branch4144): DEAD view gap →c1(branch4145): DEAD view gap →c2(branch4146): DEAD view gap →c3(branch4147): DEAD view gap →