EII tests

Author: jdonszelmann

tests/ui/eii/auxiliary/codegen1.rs

@@ -0,0 +1,18 @@
+//@ no-prefer-dynamic
+#![crate_type = "rlib"]
+#![feature(eii)]
+
+#[eii(eii1)]
+fn decl1(x: u64);
+
+mod private {
+    #[eii(eii2)]
+    pub fn decl2(x: u64);
+}
+
+pub use private::eii2 as eii3;
+pub use private::decl2 as decl3;
+
+pub fn local_call_decl1(x: u64) {
+    decl1(x)
+}

tests/ui/eii/auxiliary/codegen2.rs

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

tests/ui/eii/auxiliary/codegen3.rs

@@ -0,0 +1,22 @@
+//@ no-prefer-dynamic
+#![crate_type = "rlib"]
+#![feature(eii)]
+
+// does have an impl but can't be called
+#[eii(eii1)]
+fn decl1(x: u64);
+
+#[eii(eii2)]
+pub fn decl2(x: u64);
+
+mod private {
+    #[eii(eii3)]
+    pub fn decl3(x: u64);
+}
+
+pub use private::eii3 as eii4;
+pub use private::decl3 as decl4;
+
+pub fn local_call_decl1(x: u64) {
+    decl1(x)
+}

tests/ui/eii/auxiliary/cross_crate_eii_declaration.rs

@@ -0,0 +1,16 @@
+//@ no-prefer-dynamic
+#![crate_type = "rlib"]
+#![feature(eii)]
+#![feature(decl_macro)]
+#![feature(rustc_attrs)]
+#![feature(eii_internals)]
+
+#[eii_macro_for(bar)]
+#[rustc_builtin_macro(eii_macro)]
+pub macro foo() {
+
+}
+
+unsafe extern "Rust" {
+    pub safe fn bar(x: u64) -> u64;
+}

tests/ui/eii/codegen_cross_crate.rs

@@ -0,0 +1,20 @@
+//@ run-pass
+//@ check-run-results
+//@ aux-build: codegen2.rs
+//@ compile-flags: -O
+#![feature(eii)]
+
+extern crate codegen2 as codegen;
+
+#[codegen::eii1]
+fn eii1_impl(x: u64) {
+    println!("{x:?}")
+}
+
+// what you would write:
+fn main() {
+    // directly
+    eii1_impl(21);
+    // through the alias
+    codegen::decl1(42);
+}

tests/ui/eii/codegen_cross_crate.run.stdout

@@ -0,0 +1,2 @@
+21
+42

tests/ui/eii/codegen_single_crate.rs

@@ -0,0 +1,19 @@
+//@ run-pass
+//@ check-run-results
+#![feature(eii)]
+
+#[eii]
+fn hello(x: u64);
+
+#[hello]
+fn hello_impl(x: u64) {
+    println!("{x:?}")
+}
+
+// what you would write:
+fn main() {
+    // directly
+    hello_impl(21);
+    // through the alias
+    hello(42);
+}

tests/ui/eii/codegen_single_crate.run.stdout

@@ -0,0 +1,2 @@
+21
+42

tests/ui/eii/cross_crate.rs

@@ -0,0 +1,18 @@
+//@ compile-flags: --crate-type rlib
+//@ check-pass
+//@ aux-build: cross_crate_eii_declaration.rs
+#![feature(eii)]
+#![feature(decl_macro)]
+#![feature(rustc_attrs)]
+#![feature(eii_internals)]
+
+extern crate cross_crate_eii_declaration;
+
+#[unsafe(cross_crate_eii_declaration::foo)]
+fn other(x: u64) -> u64 {
+    x
+}
+
+fn main() {
+    cross_crate_eii_declaration::bar(0);
+}

tests/ui/eii/cross_crate_wrong_ty.rs

@@ -0,0 +1,18 @@
+//@ compile-flags: --crate-type rlib
+//@ aux-build: cross_crate_eii_declaration.rs
+#![feature(eii)]
+#![feature(decl_macro)]
+#![feature(rustc_attrs)]
+#![feature(eii_internals)]
+
+extern crate cross_crate_eii_declaration;
+
+#[unsafe(cross_crate_eii_declaration::foo)]
+fn other() -> u64 {
+//~^ ERROR `other` has 0 parameters but #[foo] requires it to have 1
+    0
+}
+
+fn main() {
+    cross_crate_eii_declaration::bar(0);
+}