Decision #675 — `library/alloc/src/vec/mod.rs:2742`

Status: unreached

Truth table

row	c0 br 4704	c1 br 4705	c2 br 4706	c3 br 4707	outcome

Independent-effect pairs

All 4 conditions live in <alloc::vec::Vec<scry_provenance::ComponentOrigin>>::with_capacity — 4 br_if

c0 (branch 4704): DEAD view gap →
c1 (branch 4705): DEAD view gap →
c2 (branch 4706): DEAD view gap →
c3 (branch 4707): DEAD view gap →

← back to scry-mcdc