Migrate a trait selection error to use diagnostic translation#114548
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 9, 2023
Merged
Migrate a trait selection error to use diagnostic translation#114548bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom