Improve test

Author: tiif

tests/ui/internal/auxiliary/unstable_feature.rs

@@ -1,18 +1,25 @@
-#![allow(internal_features)]
-
-#![feature(impl_stability)] 
-#![feature(trivial_bounds)] // TODO: figure out what is this
-
+#![allow(internal_features)] // Enabled to use #![feature(staged_api)] and #![feature(impl_stability)]
+#![feature(staged_api)] // Enabled to use  #![unstable(feature = "feat_foo", issue = "none")]
+#![feature(impl_stability)] // Enabled to use #[unstable_feature_bound(feat_foo)] 
+#![unstable(feature = "feat_foo", issue = "none")]
 
 pub trait Foo {
     fn foo();
 }
-
 pub struct Bar;
 
-#[unstable_feature_bound(feat_foo)]
+// Annotate the impl as unstable.
+#[unstable_feature_bound(feat_foo)] 
 impl Foo for Bar {
     fn foo() {}
 }
 
-fn main() {}
+// Use the unstable impl inside std/core.
+#[unstable_feature_bound(feat_foo)] 
+#[allow(dead_code)]
+fn bar() {
+    Bar::foo();
+}
+
+fn main() {
+}

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

@@ -1,12 +1,12 @@
 //@ aux-build:unstable_feature.rs
 
-#![feature(impl_stability)]
-#![feature(trivial_bounds)]
+extern crate unstable_feature; //~ ERROR: use of unstable library feature `feat_foo`
+use unstable_feature::{Foo, Bar}; //~ ERROR: use of unstable library feature `feat_foo`
+//~^ ERROR: use of unstable library feature `feat_foo`
+//~^^ ERROR: use of unstable library feature `feat_foo`
 
-extern crate unstable_feature;
-use unstable_feature::{Foo, Bar};
-
-#[unstable_feature_bound(feat_foo)]
-fn main() { //~ ERROR: `main` function is not allowed to have a `where` clause
-    Bar::foo();
+fn main() { 
+    Bar::foo(); //~ ERROR: type annotations needed: cannot satisfy `unstable feature: `feat_foo``
+    //~^ ERROR: use of unstable library feature `feat_foo`
+    //~^^ ERROR: use of unstable library feature `feat_foo`
 }

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

@@ -1,9 +1,67 @@
-error[E0646]: `main` function is not allowed to have a `where` clause
-  --> $DIR/unstable-feature-bound.rs:10:10
+error[E0658]: use of unstable library feature `feat_foo`
+  --> $DIR/unstable-feature-bound.rs:3:1
    |
-LL | fn main() {
-   |          ^ `main` cannot have a `where` clause
+LL | extern crate unstable_feature;
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = help: add `#![feature(feat_foo)]` to the crate attributes to enable
+   = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
+
+error[E0658]: use of unstable library feature `feat_foo`
+  --> $DIR/unstable-feature-bound.rs:4:24
+   |
+LL | use unstable_feature::{Foo, Bar};
+   |                        ^^^
+   |
+   = help: add `#![feature(feat_foo)]` to the crate attributes to enable
+   = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
+
+error[E0658]: use of unstable library feature `feat_foo`
+  --> $DIR/unstable-feature-bound.rs:4:29
+   |
+LL | use unstable_feature::{Foo, Bar};
+   |                             ^^^
+   |
+   = help: add `#![feature(feat_foo)]` to the crate attributes to enable
+   = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
+
+error[E0658]: use of unstable library feature `feat_foo`
+  --> $DIR/unstable-feature-bound.rs:4:29
+   |
+LL | use unstable_feature::{Foo, Bar};
+   |                             ^^^
+   |
+   = help: add `#![feature(feat_foo)]` to the crate attributes to enable
+   = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
+   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
+
+error[E0658]: use of unstable library feature `feat_foo`
+  --> $DIR/unstable-feature-bound.rs:9:5
+   |
+LL |     Bar::foo();
+   |     ^^^
+   |
+   = help: add `#![feature(feat_foo)]` to the crate attributes to enable
+   = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
+
+error[E0658]: use of unstable library feature `feat_foo`
+  --> $DIR/unstable-feature-bound.rs:9:5
+   |
+LL |     Bar::foo();
+   |     ^^^^^^^^
+   |
+   = help: add `#![feature(feat_foo)]` to the crate attributes to enable
+   = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
+
+error[E0284]: type annotations needed: cannot satisfy `unstable feature: `feat_foo``
+  --> $DIR/unstable-feature-bound.rs:9:5
+   |
+LL |     Bar::foo();
+   |     ^^^ cannot satisfy `unstable feature: `feat_foo``
+   |
+   = note: required for `Bar` to implement `Foo`
 
-error: aborting due to 1 previous error
+error: aborting due to 7 previous errors
 
-For more information about this error, try `rustc --explain E0646`.
+Some errors have detailed explanations: E0284, E0658.
+For more information about an error, try `rustc --explain E0284`.