Decision #964 — `library/core/src/ptr/mod.rs:549`

Status: unreached

Truth table

row	c0 br 6218	c1 br 6219	c2 br 6246	outcome

Independent-effect pairs

c0 (branch 6218): DEAD view gap →
<scry_poly::Poly>::project · br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1234
c1 (branch 6219): DEAD view gap →
<scry_poly::Poly>::project · br_if
c2 (branch 6246): DEAD view gap →
<scry_poly::Poly>::project · br_if

← back to scry-mcdc