bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Auto merge of #87483 - oli-obk:tait_ice, r=lqd

Browse source 
Mir borrowck does not generate lifetime variables for 'static lifetimes during opaque type resolution

Fixes #87455

This situation was unreachable before #87287 as we used to just grab the resolved opaque type from typeck and replaced all regions with new inference vars. After #87287 we let the `InferCx` in mir borrowck figure out the opaque type all by itself (which it already did before, but it only used the result to sanity check with the typeck result).
This commit is contained in:
bors 2021-07-30 07:02:34 +00:00
commit f739552870
2 changed files with 74 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
compiler/rustc_mir/src/borrow_check/region_infer/opaque_types.rs
View file

@ -83,6 +83,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
.and_then(|ur_vid| self.definitions[*ur_vid].external_name)
.unwrap_or(infcx.tcx.lifetimes.re_root_empty),
ty::ReLateBound(..) => region,
ty::ReStatic => region,
_ => {
infcx.tcx.sess.delay_span_bug(
span,