]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #4209 - lzutao:TyCtxt-lifetime, r=Manishearth
authorbors <bors@rust-lang.org>
Fri, 14 Jun 2019 20:45:56 +0000 (20:45 +0000)
committerbors <bors@rust-lang.org>
Fri, 14 Jun 2019 20:45:56 +0000 (20:45 +0000)
Fix wrong lifetime of TyCtxt

Rustup rust-lang/rust#61817

changelog: none


Trivial merge