Decision #1531 — `pattern.rs:1663`

Status: unreached

Truth table

row	c0 br 10030	c1 br 10031	c2 br 10032	c3 br 10033	c4 br 10034	c5 br 10035	c6 br 10036	c7 br 10037	outcome

c0 (branch 10030): DEAD view gap →
core::str::count::do_count_chars · br_if
inlined: pattern.rs:1380
c1 (branch 10031): DEAD view gap →
core::str::count::do_count_chars · br_if
inlined: pattern.rs:1380
c2 (branch 10032): DEAD view gap →
core::str::count::do_count_chars · br_if
inlined: pattern.rs:1380
c3 (branch 10033): DEAD view gap →
core::str::count::do_count_chars · br_if
inlined: pattern.rs:1380
c4 (branch 10034): DEAD view gap →
core::str::count::do_count_chars · br_if
inlined: pattern.rs:1381
c5 (branch 10035): DEAD view gap →
core::str::count::do_count_chars · br_if
inlined: pattern.rs:1381
c6 (branch 10036): DEAD view gap →
core::str::count::do_count_chars · br_if
inlined: pattern.rs:1381
c7 (branch 10037): DEAD view gap →
core::str::count::do_count_chars · br_if
inlined: pattern.rs:1381