new trait solver: rebase impl substs for gats correctly

2023-01-14 04:47:06 +00:00 · 2023-01-14 04:47:06 +00:00 · 05f664a441
commit 05f664a441
parent 0b90256ada
1 changed files with 1 additions and 1 deletions
--- a/compiler/rustc_trait_selection/src/solve/project_goals.rs
+++ b/compiler/rustc_trait_selection/src/solve/project_goals.rs
@ -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,