rust/compiler/rustc_trait_selection/src
bors 8ca44ef9ca Auto merge of #112988 - spastorino:new-rpitit-24, r=compiler-errors
Replace RPITIT current impl with new strategy that lowers as a GAT

This PR replaces the current implementation of RPITITs with the new implementation that we had under -Zlower-impl-trait-in-trait-to-assoc-ty flag that lowers the RPIT as a GAT on the trait and on the impls that implement that trait.

Opening this PR as a draft because this goes after #112682, ~#112981~ and ~#112983~.
As soon as those are merged, I can rebase and we should run perf, crater and test a lot.

r? `@compiler-errors`
2023-07-10 19:01:30 +00:00
..
solve Rollup merge of #113335 - compiler-errors:reveal-opaques-in-new-solver, r=lcnr 2023-07-08 15:49:46 +02:00
traits Auto merge of #112988 - spastorino:new-rpitit-24, r=compiler-errors 2023-07-10 19:01:30 +00:00
errors.rs IAT: Introduce AliasKind::Inherent 2023-05-04 16:59:10 +02:00
infer.rs Fallible<_> -> Result<_, NoSolution> 2023-05-25 17:29:22 +00:00
lib.rs remove hash_drain_filter feature uses 2023-06-14 09:28:56 +02:00