Decision #827 — `library/core/src/result.rs:2177`

Status: unreached

Truth table

row	c0 br 5600	c1 br 5601	c2 br 5602	outcome

Independent-effect pairs

c0 (branch 5600): DEAD view gap →
<scry_pentagon::Pentagon>::top · br_if
inlined: lib.rs:324
c1 (branch 5601): DEAD view gap →
<scry_pentagon::Pentagon>::top · br_if
inlined: lib.rs:324
c2 (branch 5602): DEAD view gap →
<scry_pentagon::Pentagon>::top · br_if
inlined: lib.rs:324

← back to scry-mcdc