Decision #292 — library/core/src/slice/sort/unstable/quicksort.rs:312

Status: unreached

Truth table

rowc0 br 1531c1 br 1532outcome

Independent-effect pairs