Subst gat normalize pred correctly

2023-03-22 04:32:23 +00:00
parent 6dc3999c26
commit 08284449a2
2 changed files with 18 additions and 1 deletions
--- a/compiler/rustc_hir_analysis/src/check/compare_impl_item.rs
+++ b/compiler/rustc_hir_analysis/src/check/compare_impl_item.rs
@@ -1958,7 +1958,7 @@ pub(super) fn check_type_bounds<'tcx>(
    let container_id = impl_ty.container_id(tcx);

    let rebased_substs = impl_ty_substs.rebase_onto(tcx, container_id, impl_trait_ref.substs);
-    let impl_ty_value = tcx.type_of(impl_ty.def_id).subst_identity();
+    let impl_ty_value = tcx.type_of(impl_ty.def_id).subst(tcx, impl_ty_substs);

    let param_env = tcx.param_env(impl_ty.def_id);