correct suggestion for unnecessary_sort_by in no_std (#13836)
#3886
| Job | Run time |
|---|---|
| 2m 25s | |
| 2m 25s |
unnecessary_sort_by in no_std (#13836)
#3886
| Job | Run time |
|---|---|
| 2m 25s | |
| 2m 25s |