[P1186R1](https://wg21.link/p1186r1) When do you actually use <=>? (Barry Revzin) https://issues.isocpp.org/show_bug.cgi?id=525 See also [P1188](https://wg21.link/p1188) for related library changes; traced by #143.