git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	Taylor Cramer <cramertj@google.com>
	Sun, 15 Oct 2017 20:43:06 +0000 (13:43 -0700)
committer	Taylor Cramer <cramertj@google.com>
	Fri, 17 Nov 2017 18:01:54 +0000 (10:01 -0800)
commit	bc4810d907deef00ea5bd0124272cfcab3975e3c
tree	14291c299a2c2c03333500a0952d7512398488ac	tree \| snapshot
parent	d0f8e2913a93573c78cddfd297944cff4eb4c41a	commit \| diff

Fix impl Trait Lifetime Handling

After this change, impl Trait existentials are
desugared to a new `abstract type` definition
paired with a set of lifetimes to apply.

In-scope generics are included as parents of the
`abstract type` generics. Parent regions are
replaced with static, and parent regions
referenced in the `impl Trait` type are duplicated
at the end of the `abstract type`'s generics.

24 files changed:

src/librustc/diagnostics.rs		diff \| blob \| history
src/librustc/hir/intravisit.rs		diff \| blob \| history
src/librustc/hir/lowering.rs		diff \| blob \| history
src/librustc/hir/mod.rs		diff \| blob \| history
src/librustc/hir/print.rs		diff \| blob \| history
src/librustc/ich/impls_hir.rs		diff \| blob \| history
src/librustc/middle/free_region.rs		diff \| blob \| history
src/librustc/middle/resolve_lifetime.rs		diff \| blob \| history
src/librustc/ty/subst.rs		diff \| blob \| history
src/librustc/util/ppaux.rs		diff \| blob \| history
src/librustc_metadata/encoder.rs		diff \| blob \| history
src/librustc_typeck/astconv.rs		diff \| blob \| history
src/librustc_typeck/check/mod.rs		diff \| blob \| history
src/librustc_typeck/check/regionck.rs		diff \| blob \| history
src/librustc_typeck/check/writeback.rs		diff \| blob \| history
src/librustc_typeck/collect.rs		diff \| blob \| history
src/librustdoc/clean/mod.rs		diff \| blob \| history
src/test/compile-fail/E0657.rs	[new file with mode: 0644]	blob
src/test/compile-fail/impl-trait/lifetimes.rs	[deleted file]	blob \| history
src/test/compile-fail/impl-trait/must_outlive_least_region_or_bound.rs	[new file with mode: 0644]	blob
src/test/compile-fail/impl-trait/needs_least_region_or_bound.rs	[new file with mode: 0644]	blob
src/test/compile-fail/impl-trait/type_parameters_captured.rs	[new file with mode: 0644]	blob
src/test/run-pass/impl-trait/lifetimes.rs	[new file with mode: 0644]	blob
src/test/ui/span/loan-extend.rs	[deleted file]	blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom