diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2023-06-23 17:30:52 -0300 |
|---|---|---|
| committer | Santiago Pastorino <spastorino@gmail.com> | 2023-06-23 17:34:33 -0300 |
| commit | d77e55bbb9ee3b09a64c9ff770ba663688f52d79 (patch) | |
| tree | 49e251cd19ff0d3acb5ad18b00173478e73c6a5e /compiler | |
| parent | 54d6738a8df74382c439e1dfb9ce4e2382d7742e (diff) | |
Fix return type notation errors with -Zlower-impl-trait-in-trait-to-assoc-ty
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/astconv/bounds.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_hir_analysis/src/astconv/bounds.rs b/compiler/rustc_hir_analysis/src/astconv/bounds.rs index e4eb0e6abd4..d29601e9008 100644 --- a/compiler/rustc_hir_analysis/src/astconv/bounds.rs +++ b/compiler/rustc_hir_analysis/src/astconv/bounds.rs @@ -412,7 +412,7 @@ impl<'tcx> dyn AstConv<'tcx> + '_ { // an RPITIT (return-position impl trait in trait) or AFIT (async fn in trait). let output = tcx.fn_sig(assoc_item.def_id).skip_binder().output(); let output = if let ty::Alias(ty::Projection, alias_ty) = *output.skip_binder().kind() - && tcx.def_kind(alias_ty.def_id) == DefKind::ImplTraitPlaceholder + && tcx.is_impl_trait_in_trait(alias_ty.def_id) { alias_ty } else { |