git.lizzy.rs Git - rust.git/commit

author	bors <bors@rust-lang.org>
	Fri, 30 Jul 2021 07:02:34 +0000 (07:02 +0000)
committer	bors <bors@rust-lang.org>
	Fri, 30 Jul 2021 07:02:34 +0000 (07:02 +0000)
commit	f739552870cdb23d433478739b371f22b155af8a
tree	8738ec5f357e4c9fe444f979de1c4c65edb872ae	tree \| snapshot
parent	fe1c942eee3489743d655d81ca89166217db0547	commit \| diff
parent	2953a2fb18ccc5a61aae79cd62a8383f3456c1db	commit \| diff

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

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).