about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMara Bos <m-ou.se@m-ou.se>2022-10-19 13:25:37 +0200
committerMara Bos <m-ou.se@m-ou.se>2022-10-19 13:25:37 +0200
commit5420fa388197ee61fc799ea22ea9bb820306dbb9 (patch)
tree165e097ae0a002fa33f926c91a1b3990504562e4
parenta44a22d5f42d2e81a649d0a019c02f85a803b92f (diff)
downloadrust-5420fa388197ee61fc799ea22ea9bb820306dbb9.tar.gz
rust-5420fa388197ee61fc799ea22ea9bb820306dbb9.zip
Add test for #[unstable] impl for fn() -> !.
-rw-r--r--src/test/ui/stability-attribute/stability-attribute-trait-impl.rs4
-rw-r--r--src/test/ui/stability-attribute/stability-attribute-trait-impl.stderr10
2 files changed, 13 insertions, 1 deletions
diff --git a/src/test/ui/stability-attribute/stability-attribute-trait-impl.rs b/src/test/ui/stability-attribute/stability-attribute-trait-impl.rs
index 48fb23ead3b..cc5bc3b6d91 100644
--- a/src/test/ui/stability-attribute/stability-attribute-trait-impl.rs
+++ b/src/test/ui/stability-attribute/stability-attribute-trait-impl.rs
@@ -33,4 +33,8 @@ impl StableTrait for extern "C-unwind" fn() {}
 //~^ 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() -> ! {}
+
 fn main() {}
diff --git a/src/test/ui/stability-attribute/stability-attribute-trait-impl.stderr b/src/test/ui/stability-attribute/stability-attribute-trait-impl.stderr
index 037a48f7649..b91a1d2e11a 100644
--- a/src/test/ui/stability-attribute/stability-attribute-trait-impl.stderr
+++ b/src/test/ui/stability-attribute/stability-attribute-trait-impl.stderr
@@ -7,6 +7,14 @@ LL | #[unstable(feature = "j", issue = "none")]
    = note: see issue #55436 <https://github.com/rust-lang/rust/issues/55436> for more information
    = note: `#[deny(ineffective_unstable_trait_impl)]` on by default
 
+error: an `#[unstable]` annotation here has no effect
+  --> $DIR/stability-attribute-trait-impl.rs:36:1
+   |
+LL | #[unstable(feature = "k", issue = "none")]
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #55436 <https://github.com/rust-lang/rust/issues/55436> for more information
+
 error: module has missing stability attribute
   --> $DIR/stability-attribute-trait-impl.rs:1:1
    |
@@ -19,5 +27,5 @@ LL | |
 LL | | fn main() {}
    | |____________^
 
-error: aborting due to 2 previous errors
+error: aborting due to 3 previous errors