Decision #1301 — `num.rs:41`

Status: unreached

Truth table

row	c0 br 8829	c1 br 8831	c2 br 8832	outcome

Independent-effect pairs

c0 (branch 8829): DEAD view gap →
<core::str::pattern::StrSearcher>::new · br_if
inlined: range.rs:96 ← num.rs:87
c1 (branch 8831): DEAD view gap →
<core::str::pattern::StrSearcher>::new · br_if
c2 (branch 8832): DEAD view gap →
<core::str::pattern::StrSearcher>::new · br_if

← back to scry-mcdc