Decision #596 — `library/core/src/mem/mod.rs:930`

Status: unreached

Truth table

row	c0 br 3917	c1 br 3918	outcome

Independent-effect pairs

c0 (branch 3917): DEAD view gap →
<[u32]>::contains · br_if
inlined: lib.rs:3674 ← library/core/src/option.rs:1898
c1 (branch 3918): DEAD view gap →
<[u32]>::contains · br_if
inlined: lib.rs:3674 ← library/core/src/option.rs:1898

← back to scry-mcdc