Second batch of tests

Author: tiif

tests/ui/internal/unstable-feature-bound.rs renamed to tests/ui/internal/unstable-feature-cross-crate-exact-symbol.rs

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

tests/ui/internal/unstable-feature-bound.stderr renamed to tests/ui/internal/unstable-feature-cross-crate-exact-symbol.stderr

@@ -0,0 +1,11 @@
+//@ aux-build:unstable_feature.rs
+//@ check-pass
+#![feature(feat_bar, feat_moo)]
+extern crate unstable_feature;
+use unstable_feature::{Foo, Bar, Moo};
+
+/// Bar::foo() should still be usable even if we enable multiple feature.
+
+fn main() {
+    Bar::foo();
+}

tests/ui/internal/unstable-feature-cross-crate-multiple-symbol.rs

@@ -0,0 +1,12 @@
+//@ aux-build:unstable_feature.rs
+
+extern crate unstable_feature;
+use unstable_feature::{Foo, Bar};
+
+/// #[feature(..)] is required to use unstable impl.
+/// FIXME: write check-pass variant
+
+fn main() {
+    Bar::foo();
+    //~^ ERROR: cannot satisfy `unstable feature: `feat_bar``
+}

tests/ui/internal/unstable-feature-cross-crate-require-bound.rs

@@ -0,0 +1,11 @@
+error[E0284]: type annotations needed: cannot satisfy `unstable feature: `feat_bar``
+  --> $DIR/unstable-feature-cross-crate-require-bound.rs:10: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-cross-crate-require-bound.stderr

@@ -0,0 +1,39 @@
+#![allow(internal_features)]
+#![feature(staged_api)]
+#![feature(impl_stability)]
+#![allow(dead_code)]
+#![unstable(feature = "feat_foo", issue = "none" )]
+
+/// In staged-api crate, impl that is marked with `feat_moo`
+/// should not be accessible if only `feat_foo` is enabled.
+
+/// FIXME: add one more check pass test with revision?
+
+pub trait Foo {
+    fn foo();
+}
+
+pub trait Moo {
+    fn moo();
+}
+
+pub struct Bar;
+
+#[unstable_feature_bound(feat_foo)]
+impl Foo for Bar {
+    fn foo() {}
+}
+
+#[unstable_feature_bound(feat_moo)]
+impl Moo for Bar {
+    fn moo() {}
+}
+
+#[unstable_feature_bound(feat_foo)]
+fn bar() {
+    Bar::foo();
+    Bar::moo();
+    //~^ ERROR cannot satisfy `unstable feature: `feat_moo``
+}
+
+fn main() {}

tests/ui/internal/unstable-feature-exact-symbol.rs

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

tests/ui/internal/unstable-feature-exact-symbol.stderr

@@ -1,11 +1,11 @@
 error[E0284]: type annotations needed: cannot satisfy `unstable feature: `feat_foo``
-  --> $DIR/unstable-impl-require-bound.rs:23:5
+  --> $DIR/unstable-impl-require-bound.rs:24: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
+  --> $DIR/unstable-impl-require-bound.rs:19:6
    |
 LL | #[unstable_feature_bound(feat_foo)]
    | ----------------------------------- unsatisfied trait bound introduced here