Decision #1532 — result.rs:2176
Status: unreached
Truth table
| row | c0 br 10024 | c1 br 10026 | c2 br 10028 | outcome |
|---|
Independent-effect pairs
c0(branch10024): DEAD view gap →core::str::count::do_count_chars· br_if
inlined: mod.rs:1938 ← mod.rs:1967c1(branch10026): DEAD view gap →core::str::count::do_count_chars· br_ifc2(branch10028): DEAD view gap →core::str::count::do_count_chars· br_if
inlined: mod.rs:1940 ← mod.rs:1757