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

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

projects / rust.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: da63aaa) | patch

author	Niko Matsakis <niko@alum.mit.edu>
	Sun, 10 Dec 2017 15:23:45 +0000 (10:23 -0500)
committer	Niko Matsakis <niko@alum.mit.edu>
	Wed, 20 Dec 2017 19:04:52 +0000 (14:04 -0500)
commit	93afb1affc9f4e7616e05a3fc2fdb66e81f35d1e
tree	2c2364727393a6c76b90666c4aa7c2051871dea0	tree \| snapshot
parent	da63aaa7ab71ad5ba75340f3719591f370b847e2	commit \| diff

connect NLL type checker to the impl trait code

We now add the suitable `impl Trait` constraints.

14 files changed:

src/librustc/infer/anon_types/mod.rs		diff \| blob \| history
src/librustc/util/ppaux.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/mod.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/region_infer/mod.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/renumber.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/type_check/input_output.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/type_check/mod.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/universal_regions.rs		diff \| blob \| history
src/librustc_typeck/check/mod.rs		diff \| blob \| history
src/test/run-pass/impl-trait/example-calendar.rs		diff \| blob \| history
src/test/ui/nll/ty-outlives/impl-trait-captures.rs	[new file with mode: 0644]	blob
src/test/ui/nll/ty-outlives/impl-trait-captures.stderr	[new file with mode: 0644]	blob
src/test/ui/nll/ty-outlives/impl-trait-outlives.rs	[new file with mode: 0644]	blob
src/test/ui/nll/ty-outlives/impl-trait-outlives.stderr	[new file with mode: 0644]	blob

Empowering everyone to build reliable and efficient software.