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