Skip to content

remove HRTB from [T]::is_sorted_by{,_key}#102977

Merged
bors merged 2 commits intorust-lang:masterfrom
lukas-code:is-sorted-hrtb
Nov 19, 2022
Merged

remove HRTB from `[T]::is_sorted_by{,_key}`#102977
bors merged 2 commits intorust-lang:masterfrom
lukas-code:is-sorted-hrtb

Commits

Commits on Oct 12, 2022