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

Fix wrong lifetime of TyCtxt#4209
bors merged 1 commit into
rust-lang:masterfrom
tesuji:TyCtxt-lifetime

Fix wrong lifetime of TyCtxt

9bfdbd1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs