Matthias Krüger a530f72268 Rollup merge of #109215 - est31:sort_by_key, r=Nilstrieb ...

Use sort_by_key instead of sort_by

I went over the cases where sort_by is used and in these two, one can use sort_by_key instead.

2023-03-17 08:42:40 +01:00

..

src

Rollup merge of #109215 - est31:sort_by_key, r=Nilstrieb

2023-03-17 08:42:40 +01:00

Cargo.toml

Do not use hir_ty_to_ty

2022-12-23 16:45:16 -08:00

messages.ftl

Simplify message paths

2023-03-11 22:51:57 +01:00