Decision #218 — library/core/src/cmp.rs:1077

Status: unreached

Truth table

rowc0 br 1157c1 br 1158outcome

Independent-effect pairs