Perform lifetime elision (more) syntactically, before type-checking. - #39305

Merged

bors merged 12 commits into

rust-lang:masterfrom

Jan 28, 2017

Commits on Jan 28, 2017

rustc_typeck: force users of RegionScope to get anon_region's one by one.
eddyb
committed
4f559f8
rustc_typeck: pass all lifetimes through AstConv::opt_ast_region_to_region.
eddyb
committed
f79feba
rustc: always include elidable lifetimes in HIR types.
eddyb
committed
7a2a669
rustc: clean up the style of middle::resolve_lifetime.
eddyb
committed
0682a75
rustc: simplify scope-tracking in resolve_lifetime.
eddyb
committed
bbc3414
rustc: move most of lifetime elision to resolve_lifetimes.
eddyb
committed
ba1849d
rustc_typeck: move impl Trait checks out of RegionScope.
eddyb
committed
9783947
rustc: lower trait type paths as TyTraitObject.
eddyb
committed
41553d6
rustc: always keep an explicit lifetime in trait objects.
eddyb
committed
c5befdc
rustc: move object default lifetimes to resolve_lifetimes.
eddyb
committed
4eac052
rustc: remove unused `bounds` field from `RegionParameterDef`.
eddyb
committed
9a0af16
test: add missing lifetime in recently added test.
eddyb
committed
c0e474d