Matthias Krüger 65ab663266 Rollup merge of #120549 - lcnr:errs-showcase, r=compiler-errors ... modify alias-relate to also normalize ambiguous opaques allows a bunch of further cleanups and generally simplifies the type system. To handle https://github.com/rust-lang/trait-system-refactor-initiative/issues/8 we'll have to add a some additional complexity to the `(Alias, Infer)` branches in alias-relate, so removing the opaque type special case here is really valuable. It does worsen `deduce_closure_signature` and friends even more as they now receive an inference variable which is only constrained via an `AliasRelate` goal. These probably have to look into alias relate goals somehow. Leaving that for a future PR as this is something we'll have to tackle regardless. r? `@compiler-errors`		2024-02-13 17:38:10 +01:00
..
src	Rollup merge of #120549 - lcnr:errs-showcase, r=compiler-errors	2024-02-13 17:38:10 +01:00
Cargo.toml	avoid always rerunning in case of a cycle	2024-01-09 11:19:34 +01:00
messages.ftl	Restrict what symbols can be used in #[diagnostic::on_unimplemented] format strings	2023-12-04 10:00:33 +01:00