diff --git a/compiler/testData/diagnostics/tests/alt-headers/ArrayListAndMap.jet b/compiler/testData/diagnostics/tests/alt-headers/ArrayListAndMap.jet
index 4b9cb29c307..0d16696dd45 100644
--- a/compiler/testData/diagnostics/tests/alt-headers/ArrayListAndMap.jet
+++ b/compiler/testData/diagnostics/tests/alt-headers/ArrayListAndMap.jet
@@ -18,8 +18,6 @@ fun main(args : Array<String>) {
     al.addAll(al1) : Boolean
     al.addAll(0, al1) : Boolean
     al.get(0) : Int
-    al.clone() : Object // A type mismatch on this line means that alt-headers were not loaded
-    al.toArray(Array<Int>(3, {1})) : Array<Int> // ^^^ same for this line
     val m = HashMap<String, Int>()
     m.put("", 1)
     test(al, m)
diff --git a/compiler/testData/diagnostics/tests/alt-headers/ArrayListClone.jet b/compiler/testData/diagnostics/tests/alt-headers/ArrayListClone.jet
new file mode 100644
index 00000000000..190c6241227
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/alt-headers/ArrayListClone.jet
@@ -0,0 +1,10 @@
+// +JDK
+
+package std1
+
+import java.util.*
+
+fun main(args : Array<String>) {
+    val al : ArrayList<Int> = ArrayList<Int>
+    al.clone() : Object // A type mismatch on this line means that alt-headers were not loaded
+}
diff --git a/compiler/testData/diagnostics/tests/alt-headers/ArrayListToArray.jet b/compiler/testData/diagnostics/tests/alt-headers/ArrayListToArray.jet
new file mode 100644
index 00000000000..ba8dede4330
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/alt-headers/ArrayListToArray.jet
@@ -0,0 +1,12 @@
+// +JDK
+
+package std1
+
+import java.util.*
+
+fun main(args : Array<String>) {
+    val al : ArrayList<Int> = ArrayList<Int>
+
+    // A type mismatch on this line means that alt-headers were not loaded
+    al.toArray(Array<Int>(3, {1})) : Array<Int>
+}