1 files changed, 29 insertions, 0 deletions
diff --git a/src/test/ui/stability-attribute/stability-attribute-sanity-4.rs b/src/test/ui/stability-attribute/stability-attribute-sanity-4.rs
new file mode 100644
index 000000000..64f996352
--- /dev/null
+++ b/src/test/ui/stability-attribute/stability-attribute-sanity-4.rs
@@ -0,0 +1,29 @@
+// Various checks that stability attributes are used correctly, per RFC 507
+
+#![feature(staged_api)]
+
+#![stable(feature = "rust1", since = "1.0.0")]
+
+mod bogus_attribute_types_2 {
+    #[unstable] //~ ERROR malformed `unstable` attribute
+    fn f1() { }
+
+    #[unstable = "b"] //~ ERROR malformed `unstable` attribute
+    fn f2() { }
+
+    #[stable] //~ ERROR malformed `stable` attribute
+    fn f3() { }
+
+    #[stable = "a"] //~ ERROR malformed `stable` attribute
+    fn f4() { }
+
+    #[stable(feature = "a", since = "b")]
+    #[deprecated] //~ ERROR missing 'since'
+    fn f5() { }
+
+    #[stable(feature = "a", since = "b")]
+    #[deprecated = "a"] //~ ERROR missing 'since'
+    fn f6() { }
+}
+
+fn main() { }