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

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

author	Matthew Jasper <mjjasper1@gmail.com>
	Wed, 10 Oct 2018 07:38:17 +0000 (08:38 +0100)
committer	Matthew Jasper <mjjasper1@gmail.com>
	Wed, 10 Oct 2018 15:23:59 +0000 (16:23 +0100)
commit	c312e04d45fc6254cc25f7277b2d84ff3128c036
tree	0671c5a494c5cb62f3ad464b6ecc909da0d44a47	tree \| snapshot
parent	55ec10431318bb6b4ed0a01744c93a683918d592	commit \| diff

Check user types are well-formed in MIR borrow check

Also update some tests so that they don't have user types on `_` in
unreachable code.

20 files changed:

src/librustc_mir/borrow_check/nll/type_check/mod.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/type_check/relate_tys.rs		diff \| blob \| history
src/test/ui/associated-types/associated-types-subtyping-1.nll.stderr	[new file with mode: 0644]	blob
src/test/ui/associated-types/associated-types-subtyping-1.rs		diff \| blob \| history
src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.nll.stderr	[new file with mode: 0644]	blob
src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.rs		diff \| blob \| history
src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.stderr		diff \| blob \| history
src/test/ui/regions/regions-free-region-ordering-caller.nll.stderr	[new file with mode: 0644]	blob
src/test/ui/regions/regions-free-region-ordering-caller.rs		diff \| blob \| history
src/test/ui/regions/regions-free-region-ordering-caller.stderr		diff \| blob \| history
src/test/ui/regions/regions-free-region-ordering-caller1.nll.stderr		diff \| blob \| history
src/test/ui/regions/regions-implied-bounds-projection-gap-1.nll.stderr	[new file with mode: 0644]	blob
src/test/ui/regions/regions-implied-bounds-projection-gap-1.rs		diff \| blob \| history
src/test/ui/regions/regions-implied-bounds-projection-gap-1.stderr		diff \| blob \| history
src/test/ui/regions/regions-outlives-projection-container-wc.nll.stderr	[new file with mode: 0644]	blob
src/test/ui/regions/regions-outlives-projection-container-wc.rs		diff \| blob \| history
src/test/ui/regions/regions-outlives-projection-container-wc.stderr		diff \| blob \| history
src/test/ui/regions/regions-outlives-projection-container.nll.stderr	[new file with mode: 0644]	blob
src/test/ui/regions/regions-outlives-projection-container.rs		diff \| blob \| history
src/test/ui/regions/regions-outlives-projection-container.stderr		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom