Decision #857 — library/alloc/src/vec/mod.rs:2746

Status: unreached

Truth table

rowc0 br 5760c1 br 5761c2 br 5765outcome

Independent-effect pairs

All 3 conditions live in core::slice::sort::shared::smallsort::small_sort_network::<i64, <i64 as core::cmp::PartialOrd>::lt> — 3 br_if