require a total ordering for Eq
and Ord
#12435
Closed
thestinger wants to merge 1 commit intorust-lang:masterfrom
thestinger:cmp
Closed
require a total ordering for `Eq` and `Ord`#12435thestinger wants to merge 1 commit intorust-lang:masterfrom thestinger:cmp
thestinger wants to merge 1 commit intorust-lang:masterfrom
thestinger:cmp