Yeah, I just skimmed through the proposal, and it sounds like the post is wrong, and it works the way I think it should work. You should get == behavior if you

Yeah, I just skimmed through the proposal, and it sounds like the post is wrong, and it works the way I think it should work. You should get == behavior if you only define a reasonable <=>, and if you also define ==, then that definition will take precedence. Edit: argh, no, I'm wrong. I was looking at an earlier draft. So you do have to define == as well as <=>, for mostly technical reasons. Fine, I guess that answers my question.