Auto merge of #107688 - lukas-code:projection-with-lifetime, r=jackh726 · RalfJung/miri@f2fbd80 · GitHub

Commit

Auto merge of #107688 - lukas-code:projection-with-lifetime, r=jackh726

Browse files

ReErased regions are local

fix rust-lang/rust#107678
fix rust-lang/rust#107684
fix rust-lang/rust#107686
fix rust-lang/rust#107691
fix rust-lang/rust#107730

Loading branch information

bors committed Feb 8, 2023

2 parents 12251fd + d0fd429 commit f2fbd80