about summary refs log tree commit diff
path: root/tests/ui/resolve/issue-65035-static-with-parent-generics.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/resolve/issue-65035-static-with-parent-generics.rs')
-rw-r--r--tests/ui/resolve/issue-65035-static-with-parent-generics.rs26
1 files changed, 26 insertions, 0 deletions
diff --git a/tests/ui/resolve/issue-65035-static-with-parent-generics.rs b/tests/ui/resolve/issue-65035-static-with-parent-generics.rs
new file mode 100644
index 00000000000..f96c04841dd
--- /dev/null
+++ b/tests/ui/resolve/issue-65035-static-with-parent-generics.rs
@@ -0,0 +1,26 @@
+fn f<T>() {
+    extern "C" {
+        static a: *const T;
+        //~^ ERROR can't use generic parameters from outer function
+    }
+}
+
+fn g<T: Default>() {
+    static a: *const T = Default::default();
+    //~^ ERROR can't use generic parameters from outer function
+}
+
+fn h<const N: usize>() {
+    extern "C" {
+        static a: [u8; N];
+        //~^ ERROR can't use generic parameters from outer function
+    }
+}
+
+fn i<const N: usize>() {
+    static a: [u8; N] = [0; N];
+    //~^ ERROR can't use generic parameters from outer function
+    //~| ERROR can't use generic parameters from outer function
+}
+
+fn main() {}