bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Delay a bug if we try and fail to relate an opaque to itself in TypeRelating

Browse source
This commit is contained in:
Michael Goulet 2022-08-10 03:36:05 +00:00
parent 28b6373b1d
commit 534426d0f3
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_infer/src/infer/nll_relate/mod.rs
View file

@ -599,6 +599,10 @@ where
(&ty::Opaque(a_def_id, _), &ty::Opaque(b_def_id, _)) if a_def_id == b_def_id => { (&ty::Opaque(a_def_id, _), &ty::Opaque(b_def_id, _)) if a_def_id == b_def_id => {
infcx.commit_if_ok(|_| infcx.super_combine_tys(self, a, b)).or_else(|err| { infcx.commit_if_ok(|_| infcx.super_combine_tys(self, a, b)).or_else(|err| {
self.tcx().sess.delay_span_bug(
self.delegate.span(),
"failure to relate an opaque to itself should result in an error later on",
);
if a_def_id.is_local() { self.relate_opaques(a, b) } else { Err(err) } if a_def_id.is_local() { self.relate_opaques(a, b) } else { Err(err) }
}) })
} }