Skip to content

Fix wrong lifetime of TyCtxt#4209

Merged
bors merged 1 commit intorust-lang:masterfrom tesuji:TyCtxt-lifetimeJun 14, 2019

Commits

Commits on Jun 14, 2019