Skip to content

Fix wrong lifetime of TyCtxt#4200

Merged
bors merged 2 commits intorust-lang:masterfrom
tesuji:tyctxt-lifetime
Jun 13, 2019
Merged

Fix wrong lifetime of TyCtxt#4200
bors merged 2 commits intorust-lang:masterfrom
tesuji:tyctxt-lifetime

Commits

Commits on Jun 12, 2019