Matthias Krüger 574a8ba6af Rollup merge of #132214 - fmease:mv-impl-trait-val-paths, r=compiler-errors ... Cleanup: Move an impl-Trait check from AST validation to AST lowering Namely the one that rejects `impl Trait` in qself types and non-final path segments. There's no good reason to perform this during AST validation. We have better infrastructure in place in the AST lowerer (`ImplTraitContext`). This shaves off a lot of code. We now lower `impl Trait` in bad positions to `{type error}` which allows us to remove a special case from HIR ty lowering. Coincidentally fixes #126725. Well, it only *masks* it by passing `{type error}` to HIR analysis instead of a "bad" opaque. I was able to find a new reproducer for it. See the issue.		2024-10-27 19:49:07 +01:00
..
src	Rollup merge of #132214 - fmease:mv-impl-trait-val-paths, r=compiler-errors	2024-10-27 19:49:07 +01:00
Cargo.toml	bump itertools to 0.12	2024-03-08 12:34:05 +03:00
messages.ftl	Move an impl-Trait check from AST validation to AST lowering	2024-10-27 07:41:52 +01:00