Decision #142 — library/core/src/slice/cmp.rs:443

Status: unreached

Truth table

rowc0 br 957c1 br 958c2 br 959c3 br 960c4 br 961outcome

Independent-effect pairs