Decision #482 — library/core/src/cmp.rs:1916

Status: unreached

Truth table

rowc0 br 3242c1 br 3302c2 br 3305outcome

Independent-effect pairs