1 files changed, 65 insertions, 0 deletions
diff --git a/src/test/ui/feature-gates/feature-gate-abi.rs b/src/test/ui/feature-gates/feature-gate-abi.rs
new file mode 100644
index 000000000..855263595
--- /dev/null
+++ b/src/test/ui/feature-gates/feature-gate-abi.rs
@@ -0,0 +1,65 @@
+// gate-test-intrinsics
+// gate-test-platform_intrinsics
+// gate-test-abi_efiapi
+// compile-flags: --crate-type=rlib
+
+#![feature(no_core, lang_items)]
+#![no_core]
+
+#[lang="sized"]
+trait Sized { }
+
+// Functions
+extern "rust-intrinsic" fn f1() {} //~ ERROR intrinsics are subject to change
+                                   //~^ ERROR intrinsic must be in
+extern "platform-intrinsic" fn f2() {} //~ ERROR platform intrinsics are experimental
+                                       //~^ ERROR intrinsic must be in
+extern "rust-call" fn f4(_: ()) {} //~ ERROR rust-call ABI is subject to change
+extern "efiapi" fn f10() {} //~ ERROR efiapi ABI is experimental and subject to change
+
+// Methods in trait definition
+trait Tr {
+    extern "rust-intrinsic" fn m1(); //~ ERROR intrinsics are subject to change
+                                     //~^ ERROR intrinsic must be in
+    extern "platform-intrinsic" fn m2(); //~ ERROR platform intrinsics are experimental
+                                         //~^ ERROR intrinsic must be in
+    extern "rust-call" fn m4(_: ()); //~ ERROR rust-call ABI is subject to change
+    extern "efiapi" fn m10(); //~ ERROR efiapi ABI is experimental and subject to change
+
+    extern "rust-call" fn dm4(_: ()) {} //~ ERROR rust-call ABI is subject to change
+    extern "efiapi" fn dm10() {} //~ ERROR efiapi ABI is experimental and subject to change
+}
+
+struct S;
+
+// Methods in trait impl
+impl Tr for S {
+    extern "rust-intrinsic" fn m1() {} //~ ERROR intrinsics are subject to change
+                                       //~^ ERROR intrinsic must be in
+    extern "platform-intrinsic" fn m2() {} //~ ERROR platform intrinsics are experimental
+                                           //~^ ERROR intrinsic must be in
+    extern "rust-call" fn m4(_: ()) {} //~ ERROR rust-call ABI is subject to change
+    extern "efiapi" fn m10() {} //~ ERROR efiapi ABI is experimental and subject to change
+}
+
+// Methods in inherent impl
+impl S {
+    extern "rust-intrinsic" fn im1() {} //~ ERROR intrinsics are subject to change
+                                        //~^ ERROR intrinsic must be in
+    extern "platform-intrinsic" fn im2() {} //~ ERROR platform intrinsics are experimental
+                                            //~^ ERROR intrinsic must be in
+    extern "rust-call" fn im4(_: ()) {} //~ ERROR rust-call ABI is subject to change
+    extern "efiapi" fn im10() {} //~ ERROR efiapi ABI is experimental and subject to change
+}
+
+// Function pointer types
+type A1 = extern "rust-intrinsic" fn(); //~ ERROR intrinsics are subject to change
+type A2 = extern "platform-intrinsic" fn(); //~ ERROR platform intrinsics are experimental
+type A4 = extern "rust-call" fn(_: ()); //~ ERROR rust-call ABI is subject to change
+type A10 = extern "efiapi" fn(); //~ ERROR efiapi ABI is experimental and subject to change
+
+// Foreign modules
+extern "rust-intrinsic" {} //~ ERROR intrinsics are subject to change
+extern "platform-intrinsic" {} //~ ERROR platform intrinsics are experimental
+extern "rust-call" {} //~ ERROR rust-call ABI is subject to change
+extern "efiapi" {} //~ ERROR efiapi ABI is experimental and subject to change