est31 a8839c3de7 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-16 13:06:31 +01:00
..
src	Use sort_by_key instead of sort_by	2023-03-16 13:06:31 +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