Uitests for external statics

Author: JonathanBrouwer

tests/ui/eii/attribute_targets.stderr

@@ -1,106 +1,106 @@
-error: `#[foo]` is only valid on functions
+error: `#[foo]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:7:1
    |
 LL | #[foo]
    | ^^^^^^
 
-error: `#[eii]` is only valid on functions
+error: `#[eii]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:9:1
    |
 LL | #[eii]
    | ^^^^^^
 
-error: `#[foo]` is only valid on functions
+error: `#[foo]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:13:1
    |
 LL | #[foo]
    | ^^^^^^
 
-error: `#[eii]` is only valid on functions
+error: `#[eii]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:15:1
    |
 LL | #[eii]
    | ^^^^^^
 
-error: `#[foo]` is only valid on functions
+error: `#[foo]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:21:1
    |
 LL | #[foo]
    | ^^^^^^
 
-error: `#[eii]` is only valid on functions
+error: `#[eii]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:23:1
    |
 LL | #[eii]
    | ^^^^^^
 
-error: `#[foo]` is only valid on functions
+error: `#[foo]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:27:1
    |
 LL | #[foo]
    | ^^^^^^
 
-error: `#[eii]` is only valid on functions
+error: `#[eii]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:29:1
    |
 LL | #[eii]
    | ^^^^^^
 
-error: `#[foo]` is only valid on functions
+error: `#[foo]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:32:5
    |
 LL |     #[foo]
    |     ^^^^^^
 
-error: `#[eii]` is only valid on functions
+error: `#[eii]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:34:5
    |
 LL |     #[eii]
    |     ^^^^^^
 
-error: `#[foo]` is only valid on functions
+error: `#[foo]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:39:1
    |
 LL | #[foo]
    | ^^^^^^
 
-error: `#[eii]` is only valid on functions
+error: `#[eii]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:41:1
    |
 LL | #[eii]
    | ^^^^^^
 
-error: `#[foo]` is only valid on functions
+error: `#[foo]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:44:5
    |
 LL |     #[foo]
    |     ^^^^^^
 
-error: `#[eii]` is only valid on functions
+error: `#[eii]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:46:5
    |
 LL |     #[eii]
    |     ^^^^^^
 
-error: `#[foo]` is only valid on functions
+error: `#[foo]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:51:1
    |
 LL | #[foo]
    | ^^^^^^
 
-error: `#[eii]` is only valid on functions
+error: `#[eii]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:53:1
    |
 LL | #[eii]
    | ^^^^^^
 
-error: `#[foo]` is only valid on functions
+error: `#[foo]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:56:5
    |
 LL |     #[foo]
    |     ^^^^^^
 
-error: `#[eii]` is only valid on functions
+error: `#[eii]` is only valid on functions and statics
   --> $DIR/attribute_targets.rs:58:5
    |
 LL |     #[eii]

tests/ui/eii/error_statement_position.stderr

@@ -1,4 +1,4 @@
-error: `#[eii]` is only valid on functions
+error: `#[eii]` is only valid on functions and statics
   --> $DIR/error_statement_position.rs:8:5
    |
 LL |     #[eii]

tests/ui/eii/errors.rs

@@ -25,11 +25,9 @@ unsafe extern "Rust" {
     safe fn bar(x: u64) -> u64;
 }
 
-#[foo] //~ ERROR `#[foo]` is only valid on functions
-static X: u64 = 4;
-#[foo] //~ ERROR `#[foo]` is only valid on functions
+#[foo] //~ ERROR `#[foo]` is only valid on functions and statics
 const Y: u64 = 4;
-#[foo] //~ ERROR `#[foo]` is only valid on functions
+#[foo] //~ ERROR `#[foo]` is only valid on functions and statics
 macro bar() {}
 
 #[foo()]

tests/ui/eii/errors.stderr

@@ -52,47 +52,41 @@ error: `#[eii_declaration(...)]` expects a list of one or two elements
 LL | #[eii_declaration = "unsafe"]
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
-error: `#[foo]` is only valid on functions
+error: `#[foo]` is only valid on functions and statics
   --> $DIR/errors.rs:28:1
    |
 LL | #[foo]
    | ^^^^^^
 
-error: `#[foo]` is only valid on functions
+error: `#[foo]` is only valid on functions and statics
   --> $DIR/errors.rs:30:1
    |
 LL | #[foo]
    | ^^^^^^
 
-error: `#[foo]` is only valid on functions
-  --> $DIR/errors.rs:32:1
-   |
-LL | #[foo]
-   | ^^^^^^
-
 error: `#[foo]` expected no arguments or a single argument: `#[foo(default)]`
-  --> $DIR/errors.rs:35:1
+  --> $DIR/errors.rs:33:1
    |
 LL | #[foo()]
    | ^^^^^^^^
 
 error: `#[foo]` expected no arguments or a single argument: `#[foo(default)]`
-  --> $DIR/errors.rs:37:1
+  --> $DIR/errors.rs:35:1
    |
 LL | #[foo(default, bar)]
    | ^^^^^^^^^^^^^^^^^^^^
 
 error: `#[foo]` expected no arguments or a single argument: `#[foo(default)]`
-  --> $DIR/errors.rs:39:1
+  --> $DIR/errors.rs:37:1
    |
 LL | #[foo("default")]
    | ^^^^^^^^^^^^^^^^^
 
 error: `#[foo]` expected no arguments or a single argument: `#[foo(default)]`
-  --> $DIR/errors.rs:41:1
+  --> $DIR/errors.rs:39:1
    |
 LL | #[foo = "default"]
    | ^^^^^^^^^^^^^^^^^^
 
-error: aborting due to 15 previous errors
+error: aborting due to 14 previous errors
 

tests/ui/eii/shadow_builtin.rs

@@ -0,0 +1,17 @@
+//@ ignore-backends: gcc
+// FIXME: linking on windows (speciifcally mingw) not yet supported, see tracking issue #125418
+//@ ignore-windows
+// Tests whether calling EIIs works with the declaration in the same crate.
+#![feature(extern_item_impls)]
+
+#[eii(inline)]
+//~^ ERROR `#[inline]` required, but not found
+fn test(x: u64);
+
+#[inline]
+//~^ ERROR `inline` is ambiguous
+fn test_impl(x: u64) {
+    println!("{x:?}")
+}
+
+fn main() { }

tests/ui/eii/shadow_builtin.stderr

@@ -0,0 +1,26 @@
+error[E0659]: `inline` is ambiguous
+  --> $DIR/shadow_builtin.rs:11:3
+   |
+LL | #[inline]
+   |   ^^^^^^ ambiguous name
+   |
+   = note: ambiguous because of a name conflict with a builtin attribute
+   = note: `inline` could refer to a built-in attribute
+note: `inline` could also refer to the attribute macro defined here
+  --> $DIR/shadow_builtin.rs:7:1
+   |
+LL | #[eii(inline)]
+   | ^^^^^^^^^^^^^^
+   = help: use `crate::inline` to refer to this attribute macro unambiguously
+
+error: `#[inline]` required, but not found
+  --> $DIR/shadow_builtin.rs:7:7
+   |
+LL | #[eii(inline)]
+   |       ^^^^^^ expected because `#[inline]` was declared here in crate `shadow_builtin`
+   |
+   = help: expected at least one implementation in crate `shadow_builtin` or any of its dependencies
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0659`.

tests/ui/eii/static/argument_required.rs

@@ -0,0 +1,11 @@
+//@ ignore-backends: gcc
+// FIXME: linking on windows (speciifcally mingw) not yet supported, see tracking issue #125418
+//@ ignore-windows
+// Tests whether EIIs work on statics
+#![feature(extern_item_impls)]
+
+#[eii]
+//~^ ERROR `#[eii]` requires the name as an explicit argument when used on a static
+static HELLO: u64;
+
+fn main() { }

tests/ui/eii/static/argument_required.stderr

@@ -0,0 +1,8 @@
+error: `#[eii]` requires the name as an explicit argument when used on a static
+  --> $DIR/argument_required.rs:7:1
+   |
+LL | #[eii]
+   | ^^^^^^
+
+error: aborting due to 1 previous error
+

tests/ui/eii/static/auxiliary/cross_crate_decl.rs

@@ -0,0 +1,6 @@
+//@ no-prefer-dynamic
+#![crate_type = "rlib"]
+#![feature(extern_item_impls)]
+
+#[eii(eii1)]
+pub static DECL1: u64;

tests/ui/eii/static/auxiliary/cross_crate_def.rs

@@ -0,0 +1,9 @@
+//@ no-prefer-dynamic
+#![crate_type = "rlib"]
+#![feature(extern_item_impls)]
+
+#[eii(eii1)]
+pub static DECL1: u64;
+
+#[eii1]
+pub static EII1_IMPL: u64 = 5;