Adjust tests for feature gate, and add tests for the gate itself

Author: aturon

src/test/auxiliary/go_trait.rs

@@ -8,6 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#![feature(specialization)]
+
 // Common code used for tests that model the Fn/FnMut/FnOnce hierarchy.
 
 pub trait Go {

src/test/auxiliary/specialization_cross_crate.rs

@@ -8,6 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#![feature(specialization)]
+
 pub trait Foo {
     fn foo(&self) -> &'static str;
 }

src/test/compile-fail/specialization-default-projection.rs

@@ -8,6 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#![feature(specialization)]
+
 // Make sure we can't project defaulted associated types
 
 trait Foo {

src/test/compile-fail/specialization-default-types.rs

@@ -12,6 +12,8 @@
 // associated type in the impl defining it -- otherwise, what happens
 // if it's overridden?
 
+#![feature(specialization)]
+
 trait Example {
     type Output;
     fn generate(self) -> Self::Output;

src/test/compile-fail/specialization-feature-gate-default.rs

@@ -0,0 +1,19 @@
+// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+trait Foo {
+    fn foo(&self);
+}
+
+impl<T> Foo for T {
+    default fn foo(&self) {} //~ ERROR
+}
+
+fn main() {}

src/test/compile-fail/specialization-feature-gate-overlap.rs

@@ -0,0 +1,23 @@
+// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+trait Foo {
+    fn foo(&self);
+}
+
+impl<T> Foo for T {
+    fn foo(&self) {}
+}
+
+impl Foo for u8 { //~ ERROR
+    fn foo(&self) {}
+}
+
+fn main() {}

src/test/compile-fail/specialization-negative-impl.rs

@@ -9,6 +9,7 @@
 // except according to those terms.
 
 #![feature(optin_builtin_traits)]
+#![feature(specialization)]
 
 struct TestType<T>(T);
 

src/test/compile-fail/specialization-no-default.rs

@@ -8,6 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#![feature(specialization)]
+
 trait Foo {
     fn foo(&self);
     fn bar(&self);

src/test/compile-fail/specialization-overlap-negative.rs

@@ -9,6 +9,7 @@
 // except according to those terms.
 
 #![feature(optin_builtin_traits)]
+#![feature(specialization)]
 
 trait MyTrait {}
 

src/test/compile-fail/specialization-overlap.rs

@@ -8,6 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#![feature(specialization)]
+
 trait Foo {}
 impl<T: Clone> Foo for T {}
 impl<T> Foo for Vec<T> {} //~ ERROR E0119

src/test/run-pass/specialization-allowed-cross-crate.rs

@@ -10,6 +10,8 @@
 
 // aux-build:go_trait.rs
 
+#![feature(specialization)]
+
 extern crate go_trait;
 
 use go_trait::{Go,GoMut};

src/test/run-pass/specialization-assoc-fns.rs

@@ -8,6 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#![feature(specialization)]
+
 trait Foo {
     fn mk() -> Self;
 }

src/test/run-pass/specialization-basics.rs

@@ -8,6 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#![feature(specialization)]
+
 // Tests a variety of basic specialization scenarios and method
 // dispatch for them.
 

src/test/run-pass/specialization-cross-crate.rs

@@ -10,6 +10,8 @@
 
 // aux-build:specialization_cross_crate.rs
 
+#![feature(specialization)]
+
 extern crate specialization_cross_crate;
 
 use specialization_cross_crate::*;

src/test/run-pass/specialization-default-methods.rs

@@ -8,6 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#![feature(specialization)]
+
 // First, test only use of explicit `default` items:
 
 trait Foo {

src/test/run-pass/specialization-on-projection.rs

@@ -8,6 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#![feature(specialization)]
+
 trait Foo<T> {}
 
 trait Assoc {

src/test/run-pass/specialization-projection.rs

@@ -8,6 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#![feature(specialization)]
+
 // Make sure we *can* project non-defaulted associated types
 // cf compile-fail/specialization-default-projection.rs
 

src/test/run-pass/specialization-super-traits.rs

@@ -8,6 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#![feature(specialization)]
+
 // Test that you can specialize via an explicit trait hierarchy
 
 // FIXME: this doesn't work yet...

src/test/run-pass/specialization-translate-projections-with-params.rs

@@ -8,6 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#![feature(specialization)]
+
 trait Trait<T> {
     fn convert(&self) -> T;
 }

src/test/run-pass/specialization-translate-projections.rs

@@ -8,6 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
+#![feature(specialization)]
+
 use std::convert::Into;
 
 trait Trait {