Add test case for crash (expecting error)

eisop · Jan 30, 2025 · 9e31ec0 · 9e31ec0
1 parent a014022
commit 9e31ec0
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/framework/tests/viewpointtest/PolyGenerics.java b/framework/tests/viewpointtest/PolyGenerics.java
@@ -0,0 +1,14 @@
+import viewpointtest.quals.*;
+
+// Test case for EISOP issue #1074:
+// https://github.com/eisop/checker-framework/issues/1074
+public class PolyGenerics<E> {
+    static <E> Object copyOf(PolyGenerics<? extends E> elements) {
+        Object[] array = elements.toArray();
+        return null;
+    }
+
+    Object[] toArray(PolyGenerics<@PolyVP E> this) {
+        return null;
+    }
+}