From 9e31ec0958a19c542c15541ef9d79854afca87c3 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Thu, 30 Jan 2025 00:05:17 -0500
Subject: [PATCH] Add test case for crash (expecting error)

---
 framework/tests/viewpointtest/PolyGenerics.java | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 framework/tests/viewpointtest/PolyGenerics.java

diff --git a/framework/tests/viewpointtest/PolyGenerics.java b/framework/tests/viewpointtest/PolyGenerics.java
new file mode 100644
index 00000000000..1740ec63654
--- /dev/null
+++ 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;
+    }
+}