summaryrefslogtreecommitdiffstats
path: root/tests/ui/stability-attribute/const-stability-attribute-implies-missing.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/stability-attribute/const-stability-attribute-implies-missing.rs')
-rw-r--r--tests/ui/stability-attribute/const-stability-attribute-implies-missing.rs16
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/ui/stability-attribute/const-stability-attribute-implies-missing.rs b/tests/ui/stability-attribute/const-stability-attribute-implies-missing.rs
new file mode 100644
index 000000000..6d6d793c6
--- /dev/null
+++ b/tests/ui/stability-attribute/const-stability-attribute-implies-missing.rs
@@ -0,0 +1,16 @@
+#![crate_type = "lib"]
+#![feature(staged_api)]
+#![stable(feature = "stability_attribute_implies", since = "1.0.0")]
+#![rustc_const_stable(feature = "stability_attribute_implies", since = "1.0.0")]
+
+// Tests that `implied_by = "const_bar"` results in an error being emitted if `const_bar` does not
+// exist.
+
+#[stable(feature = "stability_attribute_implies", since = "1.0.0")]
+#[rustc_const_unstable(feature = "const_foobar", issue = "1", implied_by = "const_bar")]
+//~^ ERROR feature `const_bar` implying `const_foobar` does not exist
+pub const fn foobar() -> u32 {
+ 0
+}
+
+const VAR: u32 = foobar();