bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

bail in collect_trait_impl_trait_tys if signatures reference errors

Browse source
This commit is contained in:
Michael Goulet 2022-12-14 18:24:21 +00:00
parent ba64ba8b0d
commit bcaf210575
3 changed files with 44 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_hir_analysis/src/check/compare_method.rs
View file

@ -373,6 +373,7 @@ pub fn collect_trait_impl_trait_tys<'tcx>(
tcx.fn_sig(impl_m.def_id),
),
);
impl_sig.error_reported()?;
let impl_return_ty = impl_sig.output();
// Normalize the trait signature with liberated bound vars, passing it through
@ -387,6 +388,7 @@ pub fn collect_trait_impl_trait_tys<'tcx>(
)
.fold_with(&mut collector);
let trait_sig = ocx.normalize(&norm_cause, param_env, unnormalized_trait_sig);
trait_sig.error_reported()?;
let trait_return_ty = trait_sig.output();
let wf_tys = FxIndexSet::from_iter(