diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2023-03-03 12:32:33 -0300 |
|---|---|---|
| committer | Santiago Pastorino <spastorino@gmail.com> | 2023-03-06 14:49:47 -0300 |
| commit | 3ecb70125e813750dffcec78b4d5075f0d0deb6a (patch) | |
| tree | 93060c5b1878a54c97b461b73d77de4143841f1c | |
| parent | 97eaa5dbf42dd69e37fe9f29ba428d8344f55ca3 (diff) | |
| download | rust-3ecb70125e813750dffcec78b4d5075f0d0deb6a.tar.gz rust-3ecb70125e813750dffcec78b4d5075f0d0deb6a.zip | |
Collect newly synthesized RPITITs on ImplTraitInTraitCollector
| -rw-r--r-- | compiler/rustc_hir_analysis/src/check/compare_impl_item.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_hir_analysis/src/check/compare_impl_item.rs b/compiler/rustc_hir_analysis/src/check/compare_impl_item.rs index 90c5a5d6a20..af54d4eefb3 100644 --- a/compiler/rustc_hir_analysis/src/check/compare_impl_item.rs +++ b/compiler/rustc_hir_analysis/src/check/compare_impl_item.rs @@ -830,7 +830,7 @@ impl<'tcx> TypeFolder<TyCtxt<'tcx>> for ImplTraitInTraitCollector<'_, 'tcx> { fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> { if let ty::Alias(ty::Projection, proj) = ty.kind() - && self.interner().def_kind(proj.def_id) == DefKind::ImplTraitPlaceholder + && self.interner().is_impl_trait_in_trait(proj.def_id) { if let Some((ty, _)) = self.types.get(&proj.def_id) { return *ty; |