Decision #616 — library/core/src/option.rs:743
Status: unreached
Truth table
| row | c0 br 4131 | c1 br 4132 | outcome |
|---|
Independent-effect pairs
c0(branch4131): DEAD view gap →<core::str::pattern::StrSearcher as core::str::pattern::Searcher>::next_match· br_if
inlined: lib.rs:8311 ← library/core/src/option.rs:1542 ← lib.rs:1304c1(branch4132): DEAD view gap →<core::str::pattern::StrSearcher as core::str::pattern::Searcher>::next_match· br_if