Closed urschrei closed 6 months ago
I think it expects partial_cmp
to call into cmp
, and not the other way around. The unwrap
there seems unfortunate anyway.
I wonder if we can use total_cmp
to simplify things.
@lnicola - is something like this what you had in mind?
I'm not sure, but is this a false positive?