Decision #1025 — types.rs:2178

Status: unreached

Truth table

rowc0 br 5143c1 br 5144c2 br 5145outcome

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