Matthias Krüger 3aeafca070

Rollup merge of #107304 - Nilstrieb:ᐸTy as PartialEqᐳ：：eq because what else are we gonna use in rustc_middle, r=compiler-errors ...

Use `can_eq` to compare types for default assoc type error

This correctly handles inference variables like `{integer}`. I had to move all of this `note_and_explain` code to `rustc_infer`, it made no sense for it to be in `rustc_middle` anyways.

The commits are reviewed separately.

Fixes #106968

2023-01-26 07:53:26 +01:00

..

errors

Fix #107090, fix missing arguments for fluent

2023-01-18 22:53:24 +08:00

infer

Rollup merge of #107304 - Nilstrieb:ᐸTy as PartialEqᐳ：：eq because what else are we gonna use in rustc_middle, r=compiler-errors

2023-01-26 07:53:26 +01:00

traits

fix: use LocalDefId instead of HirId in trait res

2023-01-23 11:42:18 +00:00

lib.rs

Remove #![allow(rustc::potential_query_instability)] from rustc_infer

2022-10-28 15:32:49 +02:00