about summary refs log tree commit diff
path: root/tests/ui/feature-gates/feature-gate-vectorcall.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/feature-gates/feature-gate-vectorcall.rs')
-rw-r--r--tests/ui/feature-gates/feature-gate-vectorcall.rs31
1 files changed, 31 insertions, 0 deletions
diff --git a/tests/ui/feature-gates/feature-gate-vectorcall.rs b/tests/ui/feature-gates/feature-gate-vectorcall.rs
new file mode 100644
index 00000000000..5a6c6d28804
--- /dev/null
+++ b/tests/ui/feature-gates/feature-gate-vectorcall.rs
@@ -0,0 +1,31 @@
+// gate-test-abi_vectorcall
+// needs-llvm-components: x86
+// compile-flags: --target=i686-pc-windows-msvc --crate-type=rlib
+#![no_core]
+#![feature(no_core, lang_items)]
+#[lang="sized"]
+trait Sized { }
+
+// Test that the "vectorcall-unwind" ABI is feature-gated, and cannot be used when
+// the `c_unwind` feature gate is not used.
+
+extern "vectorcall" fn f() {} //~ ERROR vectorcall is experimental
+
+trait T {
+    extern "vectorcall" fn m(); //~ ERROR vectorcall is experimental
+
+    extern "vectorcall" fn dm() {} //~ ERROR vectorcall is experimental
+}
+
+struct S;
+impl T for S {
+    extern "vectorcall" fn m() {} //~ ERROR vectorcall is experimental
+}
+
+impl S {
+    extern "vectorcall" fn im() {} //~ ERROR vectorcall is experimental
+}
+
+type TA = extern "vectorcall" fn(); //~ ERROR vectorcall is experimental
+
+extern "vectorcall" {} //~ ERROR vectorcall is experimental