diff --git a/compiler/testData/diagnostics/tests/extensions/GenericIterator.jet b/compiler/testData/diagnostics/tests/extensions/GenericIterator.jet
index 37bb8d0d31a..7ffb9cf9567 100644
--- a/compiler/testData/diagnostics/tests/extensions/GenericIterator.jet
+++ b/compiler/testData/diagnostics/tests/extensions/GenericIterator.jet
@@ -7,12 +7,6 @@ inline fun <T> java.util.Enumeration<T>.iterator() = object: Iterator<T> {
   public override fun next() = nextElement()
 }
 
-fun a(e : java.util.Enumeration<Int>) {
-    for (i in e) {
-        i : Int
-    }
-}
-
 fun <T : Any> T?.iterator() = object {
     var hasNext = this@iterator != null
       private set
diff --git a/compiler/testData/diagnostics/tests/extensions/GenericIterator2.jet b/compiler/testData/diagnostics/tests/extensions/GenericIterator2.jet
new file mode 100644
index 00000000000..2a069a53cbc
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/extensions/GenericIterator2.jet
@@ -0,0 +1,14 @@
+import java.util.Enumeration
+
+inline fun <T> java.util.Enumeration<T>.iterator() = object : Iterator<T> {
+  public override val hasNext: Boolean
+    get() = hasMoreElements()
+
+  public override fun next() = nextElement()
+}
+
+fun a(e : java.util.Enumeration<Int>) {
+    for (i in e) {
+        i : Int
+    }
+}