From: bors Date: Fri, 14 Jun 2019 20:45:56 +0000 (+0000) Subject: Auto merge of #4209 - lzutao:TyCtxt-lifetime, r=Manishearth X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=be5d17feb20534d503c49722beecf5501d5d9c3a;p=rust.git Auto merge of #4209 - lzutao:TyCtxt-lifetime, r=Manishearth Fix wrong lifetime of TyCtxt Rustup rust-lang/rust#61817 changelog: none --- be5d17feb20534d503c49722beecf5501d5d9c3a