diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2023-06-24 00:00:08 -0300 |
|---|---|---|
| committer | Santiago Pastorino <spastorino@gmail.com> | 2023-07-08 18:21:34 -0300 |
| commit | 20429af7a3a9f6d7b4dfbcdc85a4fa8f6187f922 (patch) | |
| tree | c396fa908fdfd6471e73d5e22997c66e34a6741c /compiler/rustc_hir_analysis/src/impl_wf_check.rs | |
| parent | d1389b9b4895e52ec7d1859a2d86e96babfb5d76 (diff) | |
| download | rust-20429af7a3a9f6d7b4dfbcdc85a4fa8f6187f922.tar.gz rust-20429af7a3a9f6d7b4dfbcdc85a4fa8f6187f922.zip | |
Replace RPITIT current impl with new strategy that lowers as a GAT
Diffstat (limited to 'compiler/rustc_hir_analysis/src/impl_wf_check.rs')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/impl_wf_check.rs | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/compiler/rustc_hir_analysis/src/impl_wf_check.rs b/compiler/rustc_hir_analysis/src/impl_wf_check.rs index 5526dd4b007..d654b0be620 100644 --- a/compiler/rustc_hir_analysis/src/impl_wf_check.rs +++ b/compiler/rustc_hir_analysis/src/impl_wf_check.rs @@ -109,20 +109,7 @@ fn enforce_impl_params_are_constrained(tcx: TyCtxt<'_>, impl_def_id: LocalDefId) vec![] } } - ty::AssocKind::Fn => { - if !tcx.lower_impl_trait_in_trait_to_assoc_ty() - && item.defaultness(tcx).has_value() - && tcx.impl_method_has_trait_impl_trait_tys(item.def_id) - && let Ok(table) = tcx.collect_return_position_impl_trait_in_trait_tys(def_id) - { - table.values().copied().flat_map(|ty| { - cgp::parameters_for(&ty.subst_identity(), true) - }).collect() - } else { - vec![] - } - } - ty::AssocKind::Const => vec![], + ty::AssocKind::Fn | ty::AssocKind::Const => vec![], } }) .collect(); |