Rollup merge of #106835 - compiler-errors:new-solver-gat-rebase-oops, r=lcnr

new trait solver: rebase impl substs for gats correctly

you might've caught this while working on projection code, if so then you can close this pr

r? `@lcnr`
This commit is contained in:
Matthias Krüger 2023-01-16 20:29:38 +01:00 committed by GitHub
commit 8ea26ca17f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -171,7 +171,7 @@ impl<'tcx> assembly::GoalKind<'tcx> for ProjectionPredicate<'tcx> {
let impl_substs_with_gat = goal.predicate.projection_ty.substs.rebase_onto(
tcx,
goal_trait_ref.def_id,
impl_trait_ref.substs,
impl_substs,
);
let substs = translate_substs(
acx.infcx,