Repository navigation
Make is_sorted[_by_key] require Ord instead of PartialOrd and remove Iterator::is_sorted_by_key - #81382
Closed
LukasKalbertodt wants to merge 3 commits into
Closed
Make is_sorted[_by_key] require Ord instead of PartialOrd and remove Iterator::is_sorted_by_key#81382LukasKalbertodt wants to merge 3 commits into
is_sorted[_by_key] require Ord instead of PartialOrd and remove Iterator::is_sorted_by_key#81382LukasKalbertodt wants to merge 3 commits into