rust/compiler/rustc_middle
Matthias Krüger 221039b416
Rollup merge of #111486 - fmease:pp-inh-proj, r=petrochenkov
Pretty-print inherent projections correctly

Previously, we were trying to pretty-print inherent projections with `Printer::print_def_path` which is incorrect since
it expects the substitutions to be of a certain format (parents substs followed by own substs) which doesn't hold for
inherent projections (self type subst followed by own substs).
Now we print inherent projections manually.

Fixes #111390.
Fixes #111397.

Lacking tests! Is there a test suite / compiletest flags for the pretty-printer? In most if not all cases,
inherent projections are normalized away before they get the chance to appear in diagnostics.

If I were to create regression tests for linked issues, they would need to be `mir-opt` tests to exercise
`-Zdump-mir=all` (right?) which doesn't feel quite adequate to me.

`@rustbot` label F-inherent_associated_types
2023-05-23 19:53:41 +02:00
..
src Rollup merge of #111486 - fmease:pp-inh-proj, r=petrochenkov 2023-05-23 19:53:41 +02:00
Cargo.toml Use dynamic dispatch for queries 2023-04-30 09:48:47 +02:00
messages.ftl Remove LangItems::require 2023-05-16 19:53:38 +02:00
README.md

For more information about how rustc works, see the rustc dev guide.