diff options
| author | Michael Goulet <michael@errs.io> | 2023-01-14 04:47:06 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-01-14 04:47:10 +0000 |
| commit | 05f664a441542c4f50ea8336cfa403c327ee8ecb (patch) | |
| tree | 9fea08c2d032b51b1cf2207a72d4e10759a1cc99 | |
| parent | 0b90256ada21c6a81b4c18f2c7a23151ab5fc232 (diff) | |
| download | rust-05f664a441542c4f50ea8336cfa403c327ee8ecb.tar.gz rust-05f664a441542c4f50ea8336cfa403c327ee8ecb.zip | |
new trait solver: rebase impl substs for gats correctly
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/project_goals.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/project_goals.rs b/compiler/rustc_trait_selection/src/solve/project_goals.rs index 3d649bea19d..25588138c43 100644 --- 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, |