Skip to content

move resolve_lifetimes into a proper query#46657

Merged
bors merged 3 commits intorust-lang:masterfrom
nikomatsakis:resolve-lifetimes-query
Dec 12, 2017
Merged

move `resolve_lifetimes` into a proper query#46657
bors merged 3 commits intorust-lang:masterfrom
nikomatsakis:resolve-lifetimes-query

Commits

Commits on Dec 11, 2017