Add first batch of tests

Author: tiif

tests/ui/internal/auxiliary/unstable_feature.rs

@@ -11,18 +11,21 @@ pub trait Foo {
 }
 #[stable(feature = "a", since = "1.1.1" )]
 pub struct Bar;
+#[stable(feature = "a", since = "1.1.1" )]
+pub struct Moo;
 
 // Annotate the impl as unstable.
-#[unstable_feature_bound(feat_foo)]
-#[unstable(feature = "feat_foo", issue = "none" )]
+#[unstable_feature_bound(feat_bar)]
+#[unstable(feature = "feat_bar", issue = "none" )]
 impl Foo for Bar {
     fn foo() {}
 }
 
-// Use the unstable impl inside std/core.
-#[unstable_feature_bound(feat_foo)]
-fn bar() {
-    Bar::foo();
+
+#[unstable_feature_bound(feat_moo)]
+#[unstable(feature = "feat_moo", issue = "none" )]
+impl Foo for Moo {
+    fn foo() {}
 }
 
 fn main() {

tests/ui/internal/unstable-feature-bound-two-error.rs

@@ -0,0 +1,12 @@
+//@ aux-build:unstable_feature.rs
+extern crate unstable_feature;
+use unstable_feature::{Foo, Bar, Moo};
+
+// FIXME: both `feat_bar`` and `feat_moo` are needed to pass this test,
+// but the diagnostic only will point out `feat_bar`.
+
+fn main() {
+    Bar::foo();
+    //~^ ERROR: type annotations needed: cannot satisfy `unstable feature: `feat_bar``
+    Moo::foo();
+}

tests/ui/internal/unstable-feature-bound-two-error.stderr

@@ -0,0 +1,11 @@
+error[E0284]: type annotations needed: cannot satisfy `unstable feature: `feat_bar``
+  --> $DIR/unstable-feature-bound-two-error.rs:9:5
+   |
+LL |     Bar::foo();
+   |     ^^^ cannot satisfy `unstable feature: `feat_bar``
+   |
+   = note: required for `Bar` to implement `Foo`
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0284`.

tests/ui/internal/unstable-feature-bound.rs

@@ -1,8 +1,13 @@
 //@ aux-build:unstable_feature.rs
-
+#![feature(feat_bar)]
 extern crate unstable_feature;
-use unstable_feature::{Foo, Bar};
+use unstable_feature::{Foo, Bar, Moo};
+
+/// Since only `feat_bar` is enabled, Bar::foo() should be usable and
+/// Moo::foo() should not be usable.
 
 fn main() {
-    Bar::foo(); //~ ERROR: type annotations needed: cannot satisfy `unstable feature: `feat_foo``
+    Bar::foo();
+    Moo::foo();
+    //~^ ERROR: type annotations needed: cannot satisfy `unstable feature: `feat_moo``
 }

tests/ui/internal/unstable-feature-bound.stderr

@@ -1,10 +1,10 @@
-error[E0284]: type annotations needed: cannot satisfy `unstable feature: `feat_foo``
-  --> $DIR/unstable-feature-bound.rs:7:5
+error[E0284]: type annotations needed: cannot satisfy `unstable feature: `feat_moo``
+  --> $DIR/unstable-feature-bound.rs:11:5
    |
-LL |     Bar::foo();
-   |     ^^^ cannot satisfy `unstable feature: `feat_foo``
+LL |     Moo::foo(); 
+   |     ^^^ cannot satisfy `unstable feature: `feat_moo``
    |
-   = note: required for `Bar` to implement `Foo`
+   = note: required for `Moo` to implement `Foo`
 
 error: aborting due to 1 previous error
 

tests/ui/internal/unstable-impl-assoc-type.rs

@@ -0,0 +1,35 @@
+#![allow(internal_features)]
+#![feature(staged_api)]
+#![feature(impl_stability)]
+#![unstable(feature = "feat_foo", issue = "none" )]
+
+/// FIXME: add a description here.
+
+trait Bar {}
+
+trait Trait {
+    type Assoc: Bar;
+}
+
+trait Moo {
+    type Assoc: Bar;
+}
+
+struct Foo;
+
+#[unstable_feature_bound(feat_foo)]
+impl Bar for Foo {}
+
+impl Trait for Foo {
+  type Assoc = Self;
+  //~^ ERROR: cannot satisfy `unstable feature: `feat_foo``
+}
+
+// If the impl is annotated with #[unstable_feature_bound(..)],
+// then it should pass.
+#[unstable_feature_bound(feat_foo)]
+impl Moo for Foo {
+  type Assoc = Self;
+}
+
+fn main(){}

tests/ui/internal/unstable-impl-assoc-type.stderr

@@ -0,0 +1,22 @@
+error[E0284]: type annotations needed: cannot satisfy `unstable feature: `feat_foo``
+  --> $DIR/unstable-impl-assoc-type.rs:24:16
+   |
+LL |   type Assoc = Self;
+   |                ^^^^ cannot satisfy `unstable feature: `feat_foo``
+   |
+note: required for `Foo` to implement `Bar`
+  --> $DIR/unstable-impl-assoc-type.rs:21:6
+   |
+LL | #[unstable_feature_bound(feat_foo)]
+   | ----------------------------------- unsatisfied trait bound introduced here
+LL | impl Bar for Foo {}
+   |      ^^^     ^^^
+note: required by a bound in `Trait::Assoc`
+  --> $DIR/unstable-impl-assoc-type.rs:11:17
+   |
+LL |     type Assoc: Bar;
+   |                 ^^^ required by this bound in `Trait::Assoc`
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0284`.

tests/ui/internal/unstable-impl-cannot-use-feature.rs

@@ -0,0 +1,27 @@
+#![allow(internal_features)]
+#![feature(staged_api)]
+#![feature(impl_stability)]
+#![allow(dead_code)]
+#![feature(feat_foo)]
+#![unstable(feature = "feat_foo", issue = "none" )]
+
+/// In staged-api crate, impl that is marked with #[unstable_feature_bound(..)]
+/// cannot be enabled with #[feature(..)]
+
+pub trait Foo {
+    fn foo();
+}
+pub struct Bar;
+
+// Annotate the impl as unstable.
+#[unstable_feature_bound(feat_foo)]
+impl Foo for Bar {
+    fn foo() {}
+}
+
+fn bar() {
+    Bar::foo();
+    //~^ ERROR: cannot satisfy `unstable feature: `feat_foo``
+}
+
+fn main() {}

tests/ui/internal/unstable-impl-cannot-use-feature.stderr

@@ -0,0 +1,17 @@
+error[E0284]: type annotations needed: cannot satisfy `unstable feature: `feat_foo``
+  --> $DIR/unstable-impl-cannot-use-feature.rs:23:5
+   |
+LL |     Bar::foo();
+   |     ^^^ cannot satisfy `unstable feature: `feat_foo``
+   |
+note: required for `Bar` to implement `Foo`
+  --> $DIR/unstable-impl-cannot-use-feature.rs:18:6
+   |
+LL | #[unstable_feature_bound(feat_foo)]
+   | ----------------------------------- unsatisfied trait bound introduced here
+LL | impl Foo for Bar {
+   |      ^^^     ^^^
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0284`.

tests/ui/internal/unstable-impl-require-bound.rs

@@ -0,0 +1,40 @@
+#![allow(internal_features)]
+#![feature(staged_api)]
+#![feature(impl_stability)]
+#![allow(dead_code)]
+#![unstable(feature = "feat_foo", issue = "none" )]
+
+// This is testing:
+// 1.  Using an unstable impl requires #[unstable_feature_bound(..)]
+// 2. If only feat_foo is needed to use an impl,
+//    having both `feat_foo` and `feat_bar` will still make it pass.
+
+pub trait Foo {
+    fn foo();
+}
+pub struct Bar;
+
+// Annotate the impl as unstable.
+#[unstable_feature_bound(feat_foo)]
+impl Foo for Bar {
+    fn foo() {}
+}
+
+fn bar() {
+    Bar::foo();
+    //~^ ERROR: cannot satisfy `unstable feature: `feat_foo``
+}
+
+// With #[unstable_feature_bound(..)], this should pass.
+#[unstable_feature_bound(feat_foo)]
+fn bar2() {
+    Bar::foo();
+}
+
+// FIXME: maybe we should warn that feat_bar does not exist?
+#[unstable_feature_bound(feat_foo, feat_bar)]
+fn bar3() {
+    Bar::foo();
+}
+
+fn main() {}

tests/ui/internal/unstable-impl-require-bound.stderr

@@ -0,0 +1,17 @@
+error[E0284]: type annotations needed: cannot satisfy `unstable feature: `feat_foo``
+  --> $DIR/unstable-impl-require-bound.rs:23:5
+   |
+LL |     Bar::foo();
+   |     ^^^ cannot satisfy `unstable feature: `feat_foo``
+   |
+note: required for `Bar` to implement `Foo`
+  --> $DIR/unstable-impl-require-bound.rs:18:6
+   |
+LL | #[unstable_feature_bound(feat_foo)]
+   | ----------------------------------- unsatisfied trait bound introduced here
+LL | impl Foo for Bar {
+   |      ^^^     ^^^
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0284`.