bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Don't mention IMPLIED_BOUNDS_ENTAILMENT if signatures reference error

Browse source
This commit is contained in:
Michael Goulet 2023-06-05 21:20:49 +00:00
parent 408bbd0406
commit 0e9e91a95a
3 changed files with 32 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -302,7 +302,7 @@ fn compare_method_predicate_entailment<'tcx>(
return Err(emitted);
}
if check_implied_wf == CheckImpliedWfMode::Check {
if check_implied_wf == CheckImpliedWfMode::Check && !(impl_sig, trait_sig).references_error() {
// We need to check that the impl's args are well-formed given
// the hybrid param-env (impl + trait method where-clauses).
ocx.register_obligation(traits::Obligation::new(