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

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

author	Niko Matsakis <niko@alum.mit.edu>
	Fri, 6 Jan 2017 19:35:23 +0000 (14:35 -0500)
committer	Niko Matsakis <niko@alum.mit.edu>
	Sun, 5 Feb 2017 21:30:03 +0000 (16:30 -0500)
commit	b26120db11d36fbf85742149221e474c885d2387
tree	4dd1c1180334a71a9452e57418cc30fe716abeb0	tree \| snapshot
parent	fc02736d59252fe408dd6c2f7e2c4b6f229e4443	commit \| diff

make lifetimes that only appear in return type early-bound

This is the full and proper fix for #32330. This also makes some effort
to give a nice error message (as evidenced by the `ui` test), sending
users over to the tracking issue for a full explanation.

21 files changed:

src/librustc/infer/error_reporting.rs		diff \| blob \| history
src/librustc/infer/higher_ranked/mod.rs		diff \| blob \| history
src/librustc/infer/mod.rs		diff \| blob \| history
src/librustc/middle/resolve_lifetime.rs		diff \| blob \| history
src/librustc/ty/mod.rs		diff \| blob \| history
src/librustc/ty/sty.rs		diff \| blob \| history
src/librustc/util/ppaux.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/writeback.rs		diff \| blob \| history
src/librustc_typeck/collect.rs		diff \| blob \| history
src/librustc_typeck/diagnostics.rs		diff \| blob \| history
src/librustdoc/clean/mod.rs		diff \| blob \| history
src/test/compile-fail/E0582.rs	[new file with mode: 0644]	blob
src/test/compile-fail/associated-types/bound-lifetime-constrained.rs		diff \| blob \| history
src/test/compile-fail/associated-types/bound-lifetime-in-binding-only.rs		diff \| blob \| history
src/test/compile-fail/associated-types/bound-lifetime-in-return-only.rs		diff \| blob \| history
src/test/compile-fail/associated-types/cache/wasm-issue-32330.rs	[deleted file]	blob \| history
src/test/compile-fail/regions-fn-subtyping-return-static.rs		diff \| blob \| history
src/test/ui/regions-fn-subtyping-return-static.rs	[new file with mode: 0644]	blob
src/test/ui/regions-fn-subtyping-return-static.stderr	[new file with mode: 0644]	blob

Empowering everyone to build reliable and efficient software.

RSS Atom