Decision #1252 — `clone.rs:615`

Status: unreached

Truth table

row	c0 br 8545	c1 br 8546	c2 br 8547	outcome

Independent-effect pairs

c0 (branch 8545): DEAD view gap →
<char>::escape_debug_ext · br_if
inlined: cloned.rs:41 ← option.rs:2161 ← option.rs:1162 ← function.rs:250
c1 (branch 8546): DEAD view gap →
<char>::escape_debug_ext · br_if
inlined: cloned.rs:41 ← option.rs:2161 ← option.rs:1162 ← function.rs:250
c2 (branch 8547): DEAD view gap →
<char>::escape_debug_ext · br_if

← back to scry-mcdc