Decision #361 — library/core/src/slice/sort/unstable/heapsort.rs:53

Status: unreached

Truth table

rowc0 br 2576c1 br 2577outcome

Independent-effect pairs