about summary refs log tree commit diff
path: root/compiler
diff options
context:
space:
mode:
authorYuki Okushi <huyuumi.dev+love@gmail.com>2022-12-06 12:48:53 +0900
committerGitHub <noreply@github.com>2022-12-06 12:48:53 +0900
commit7ba37adbfdcbc2ca3ca220938c85400512cace97 (patch)
treed75401f8e8aa93549d584e5726d0b548e36e6728 /compiler
parenteeb1bbc64103a3c6f47bb31cef051ad122147dfa (diff)
parentd5cb5fb1853952c0e5377e86a09c0fcf5bf2a829 (diff)
downloadrust-7ba37adbfdcbc2ca3ca220938c85400512cace97.tar.gz
rust-7ba37adbfdcbc2ca3ca220938c85400512cace97.zip
Rollup merge of #105315 - fmease:norm-subst-iat, r=compiler-errors
Normalize inherent associated types after substitution

Fixes #105314.

r? ````@cjgillot```` (#105224)
````@rustbot```` label F-inherent_associated_types
Diffstat (limited to 'compiler')
-rw-r--r--compiler/rustc_hir_analysis/src/astconv/mod.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_hir_analysis/src/astconv/mod.rs b/compiler/rustc_hir_analysis/src/astconv/mod.rs
index f204d59d005..66906b331da 100644
--- a/compiler/rustc_hir_analysis/src/astconv/mod.rs
+++ b/compiler/rustc_hir_analysis/src/astconv/mod.rs
@@ -1930,6 +1930,7 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
                     adt_substs,
                 );
                 let ty = tcx.bound_type_of(assoc_ty_did).subst(tcx, item_substs);
+                let ty = self.normalize_ty(span, ty);
                 return Ok((ty, DefKind::AssocTy, assoc_ty_did));
             }
         }