From 02b3664766f1053746a3068c6eed6c464d8a40dc Mon Sep 17 00:00:00 2001 From: Michael Goulet Date: Tue, 21 Feb 2023 17:54:00 +0000 Subject: [PATCH] Drive-by assertion in collect_return_position_impl_trait_in_trait_tys --- compiler/rustc_hir_analysis/src/check/compare_impl_item.rs | 7 +++++++ 1 file changed, 7 insertions(+) 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 50005582f7cec..3409b55327244 100644 --- a/compiler/rustc_hir_analysis/src/check/compare_impl_item.rs +++ b/compiler/rustc_hir_analysis/src/check/compare_impl_item.rs @@ -648,6 +648,13 @@ pub(super) fn collect_return_position_impl_trait_in_trait_tys<'tcx>( tcx.fn_sig(trait_m.def_id).subst(tcx, trait_to_placeholder_substs), ) .fold_with(&mut collector); + + debug_assert_ne!( + collector.types.len(), + 0, + "expect >1 RPITITs in call to `collect_return_position_impl_trait_in_trait_tys`" + ); + let trait_sig = ocx.normalize(&norm_cause, param_env, unnormalized_trait_sig); trait_sig.error_reported()?; let trait_return_ty = trait_sig.output();