bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Process alias-relate obligations when proving receiver_is_valid

Browse source
This commit is contained in:
Michael Goulet 2024-06-30 11:30:55 -04:00
parent 11dd90f761
commit fdde66acee
8 changed files with 38 additions and 50 deletions
Download patch file Download diff file Expand all files Collapse all files

10
compiler/rustc_hir_analysis/src/check/wfcheck.rs
View file

@ -1712,7 +1712,15 @@ fn receiver_is_valid<'tcx>(
let cause =
ObligationCause::new(span, wfcx.body_def_id, traits::ObligationCauseCode::MethodReceiver);
let can_eq_self = |ty| infcx.can_eq(wfcx.param_env, self_ty, ty);
let can_eq_self = |ty| {
wfcx.infcx.probe(|_| {
let ocx = ObligationCtxt::new(wfcx.infcx);
let Ok(()) = ocx.eq(&ObligationCause::dummy(), wfcx.param_env, self_ty, ty) else {
return false;
};
ocx.select_where_possible().is_empty()
})
};
// `self: Self` is always valid.
if can_eq_self(receiver_ty) {