Skip to content

Fix wrong lifetime of TyCtxt - #4200

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

bors merged 2 commits into
rust-lang:masterfrom
tesuji:tyctxt-lifetime

Commits

Commits on Jun 12, 2019