summary refs log tree commit diff
path: root/src/test/compile-fail/coherence-impls-send.rs
AgeCommit message (Collapse)AuthorLines
2017-04-14Put overlapping impls behind feature gate, add testsSean Griffin-0/+1
I've added some explicit tests that negative impls are allowed to overlap, and also to make sure that the feature doesn't interfere with specialization. I've not added an explicit test for positive overlapping with negative, as that's already tested elsewhere.
2017-04-14Implement RFC 1268Sean Griffin-1/+0
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
2015-04-01Update tests for new coherence rules, and add a swatch of new testsNiko Matsakis-4/+4
probing the specifics of `Fundamental`. Fixes #23086. Fixes #23516.
2015-03-06Remove the coherence impls pass that was specialized to builtin bounds,Niko Matsakis-0/+40
since there are separate checks that apply to Copy (and Send uses the generic defaulted trait rules). Also prohibit `Sized` from being manually implemented for now.