---

yaml
---
r: 273159
b: refs/heads/beta
c: 386f8ee
h: refs/heads/master
i:
  273157: 483068d
  273155: 141e97b
  273151: 2e9fba5

Author: aturon

[refs]

@@ -23,7 +23,7 @@ refs/tags/0.9: 36870b185fc5f5486636d4515f0e22677493f225
 refs/tags/0.10: ac33f2b15782272ae348dbd7b14b8257b2148b5a
 refs/tags/0.11.0: e1247cb1d0d681be034adb4b558b5a0c0d5720f9
 refs/tags/0.12.0: f0c419429ef30723ceaf6b42f9b5a2aeb5d2e2d1
-refs/heads/beta: 2651f8c14748bf4598841471329ca260f5860ec0
+refs/heads/beta: 386f8eefc0a0775b228740cc5f682b6d10050e04
 refs/tags/1.0.0-alpha: e42bd6d93a1d3433c486200587f8f9e12590a4d7
 refs/heads/tmp: e06d2ad9fcd5027bcaac5b08fc9aa39a49d0ecd3
 refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f

branches/beta/src/librustc/middle/traits/specialize/mod.rs

@@ -41,6 +41,7 @@ pub struct Overlap<'a, 'tcx: 'a> {
 /// Given a subst for the requested impl, translate it to a subst
 /// appropriate for the actual item definition (whether it be in that impl,
 /// a parent impl, or the trait).
+//
 // When we have selected one impl, but are actually using item definitions from
 // a parent impl providing a default, we need a way to translate between the
 // type parameters of the two impls. Here the `source_impl` is the one we've
@@ -153,6 +154,11 @@ pub fn specializes(tcx: &ty::ctxt, impl1_def_id: DefId, impl2_def_id: DefId) ->
     //
     // See RFC 1210 for more details and justification.
 
+    // Currently we do not allow e.g. a negative impl to specialize a positive one
+    if tcx.trait_impl_polarity(impl1_def_id) != tcx.trait_impl_polarity(impl2_def_id) {
+        return false
+    }
+
     let mut infcx = infer::normalizing_infer_ctxt(tcx, &tcx.tables);
 
     // Skiolemize impl1: we want to prove that "for all types matched by impl1,

branches/beta/src/test/compile-fail/specialization-negative-impl.rs renamed to branches/beta/src/test/compile-fail/specialization-polarity.rs

@@ -8,19 +8,23 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+// Make sure specialization cannot change impl polarity
+
 #![feature(optin_builtin_traits)]
 #![feature(specialization)]
 
-struct TestType<T>(T);
+trait Foo {}
+
+impl Foo for .. {}
+
+impl<T> Foo for T {}
+impl !Foo for u8 {} //~ ERROR E0119
 
-// TODO: nail down the rules here with @nikomatsakis
+trait Bar {}
 
-unsafe impl<T> Send for TestType<T> {}
-impl !Send for TestType<u8> {}
+impl Bar for .. {}
 
-fn assert_send<T: Send>() {}
+impl<T> !Bar for T {}
+impl Bar for u8 {} //~ ERROR E0119
 
-fn main() {
-    assert_send::<TestType<()>>();
-    assert_send::<TestType<u8>>(); //~ ERROR
-}
+fn main() {}