remove HRTB from [T]::is_sorted_by{,_key}#102977
Merged
bors merged 2 commits intorust-lang:masterfrom Nov 19, 2022
Merged
Commits
Commits on Oct 12, 2022
- committed
Lukas Markeffsky - committed
Lukas Markeffsky
[T]::is_sorted_by{,_key}#102977