Skip to content

Fix wrong lifetime of TyCtxt - #4209

Merged
bors merged 1 commit into
rust-lang:masterfrom
tesuji:TyCtxt-lifetime
Jun 14, 2019
Merged

bors merged 1 commit into
rust-lang:masterfrom
tesuji:TyCtxt-lifetime

Commits

Commits on Jun 14, 2019