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

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

author	Sean Griffin <sean@seantheprogrammer.com>
	Sat, 25 Feb 2017 21:16:27 +0000 (16:16 -0500)
committer	Corey Farwell <coreyf@rwell.org>
	Sat, 15 Apr 2017 02:04:53 +0000 (22:04 -0400)
commit	4aca54001865435c799757c6fcb8595c23ff6c77
tree	3412c88a03f0a86f1cba581b4476ca694cce6542	tree \| snapshot
parent	f0ca5d4bad07a4fc8497bd9766cdadaee1bd0ac6	commit \| diff

Implement RFC 1268

This patch allows overlap to occur between any two impls of a trait for
traits which have no associated items.

Several compile-fail tests around coherence had to be changed to add at
least one item to the trait they test against.

Ref #29864

20 files changed:

src/librustc/traits/specialize/mod.rs		diff \| blob \| history
src/librustc/traits/specialize/specialization_graph.rs		diff \| blob \| history
src/librustc/ty/mod.rs		diff \| blob \| history
src/test/compile-fail/E0120.rs		diff \| blob \| history
src/test/compile-fail/coherence-conflicting-negative-trait-impl.rs		diff \| blob \| history
src/test/compile-fail/coherence-default-trait-impl.rs		diff \| blob \| history
src/test/compile-fail/coherence-impls-send.rs		diff \| blob \| history
src/test/compile-fail/coherence-no-direct-lifetime-dispatch.rs		diff \| blob \| history
src/test/compile-fail/coherence-overlap-all-t-and-tuple.rs		diff \| blob \| history
src/test/compile-fail/coherence-overlap-messages.rs		diff \| blob \| history
src/test/compile-fail/coherence-projection-conflict-orphan.rs		diff \| blob \| history
src/test/compile-fail/coherence-projection-conflict-ty-param.rs		diff \| blob \| history
src/test/compile-fail/coherence-projection-conflict.rs		diff \| blob \| history
src/test/compile-fail/coherence_copy_like_err_fundamental_struct.rs		diff \| blob \| history
src/test/compile-fail/coherence_copy_like_err_fundamental_struct_ref.rs		diff \| blob \| history
src/test/compile-fail/coherence_copy_like_err_fundamental_struct_tuple.rs		diff \| blob \| history
src/test/compile-fail/coherence_copy_like_err_struct.rs		diff \| blob \| history
src/test/compile-fail/coherence_copy_like_err_tuple.rs		diff \| blob \| history
src/test/compile-fail/specialization/specialization-overlap.rs		diff \| blob \| history
src/test/run-pass/overlap-permitted-for-marker-traits.rs	[new file with mode: 0644]	blob

Empowering everyone to build reliable and efficient software.

RSS Atom