Decision #1027 — `library/core/src/result.rs:2173`

Status: partial

Truth table

row	c0 br 5162	c1 br 5163	c2 br 5164	outcome

Independent-effect pairs

All 3 conditions live in <alloc::vec::Vec<T> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<T,I>>::from_iter — 1 br_table_default + 2 br_table_target

c0 (branch 5162): DEAD view gap →
c1 (branch 5163): PROVED
c2 (branch 5164): DEAD view gap →

← back to scry-mcdc

Decision #1027 — library/core/src/result.rs:2173

Truth table

Independent-effect pairs

Decision #1027 — `library/core/src/result.rs:2173`