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

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

Fix wrong lifetime of TyCtxt

3832a8d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs