Decision #474 — `library/alloc/src/vec/mod.rs:2854`

Status: unreached

Truth table

row	c0 br 3115	c1 br 3116	outcome

Independent-effect pairs

c0 (branch 3115): DEAD view gap →
scry_analyze_core::poly_with_equality · br_if
inlined: lib.rs:8620
c1 (branch 3116): DEAD view gap →
scry_analyze_core::poly_with_equality · br_if

← back to scry-mcdc