Move /src/test to /tests

1 files changed, 43 insertions, 0 deletions

diff --git a/tests/ui/stability-attribute/stability-attribute-trait-impl.rs b/tests/ui/stability-attribute/stability-attribute-trait-impl.rs
new file mode 100644
index 00000000000..0c771ae8795
--- /dev/null
+++ b/tests/ui/stability-attribute/stability-attribute-trait-impl.rs
@@ -0,0 +1,43 @@
+#![feature(staged_api, never_type, c_unwind)]
+//~^ ERROR module has missing stability attribute
+
+#[stable(feature = "a", since = "1")]
+struct StableType;
+
+#[unstable(feature = "b", issue = "none")]
+struct UnstableType;
+
+#[stable(feature = "c", since = "1")]
+trait StableTrait {}
+
+#[unstable(feature = "d", issue = "none")]
+trait UnstableTrait {}
+
+#[unstable(feature = "e", issue = "none")]
+impl UnstableTrait for UnstableType {}
+
+#[unstable(feature = "f", issue = "none")]
+impl StableTrait for UnstableType {}
+
+#[unstable(feature = "g", issue = "none")]
+impl UnstableTrait for StableType {}
+
+#[unstable(feature = "h", issue = "none")]
+impl StableTrait for ! {}
+
+// Note: If C-unwind is stabilized, switch this to another (unstable) ABI.
+#[unstable(feature = "i", issue = "none")]
+impl StableTrait for extern "C-unwind" fn() {}
+
+#[unstable(feature = "j", issue = "none")]
+//~^ ERROR an `#[unstable]` annotation here has no effect [ineffective_unstable_trait_impl]
+impl StableTrait for StableType {}
+
+#[unstable(feature = "k", issue = "none")]
+//~^ ERROR an `#[unstable]` annotation here has no effect [ineffective_unstable_trait_impl]
+impl StableTrait for fn() -> ! {}
+
+#[unstable(feature = "l", issue = "none")]
+impl StableTrait for fn() -> UnstableType {}
+
+fn main() {}