Repro for kotlin-java difference with generic types

Author: tamasvajk

java/ql/test/kotlin/library-tests/java_and_kotlin_generics/java/test.expected

@@ -0,0 +1,4 @@
+test
+| file:///modules/java.base/java/util/List.class:0:0:0:0 | iterator | file:///modules/java.base/java/util/Collection.class:0:0:0:0 | iterator |
+test1
+| file:///modules/java.base/java/util/List.class:0:0:0:0 | iterator |

java/ql/test/kotlin/library-tests/java_and_kotlin_generics/java/test.ql

@@ -0,0 +1,12 @@
+import java
+
+query predicate test(Method m1, Method m2) {
+  m1.getName() = "iterator" and
+  m1.getDeclaringType().getQualifiedName() = "java.util.List" and
+  m1.overrides(m2)
+}
+
+query predicate test1(Method m1) {
+  m1.getName() = "iterator" and
+  m1.getDeclaringType().getQualifiedName() = "java.util.List"
+}

java/ql/test/kotlin/library-tests/java_and_kotlin_generics/java/x.java

@@ -0,0 +1,8 @@
+import java.util.List;
+import java.util.Arrays;
+
+public final class x {
+   public final void test() {
+      List<String> ll = Arrays.asList("a", "b");
+   }
+}

java/ql/test/kotlin/library-tests/java_and_kotlin_generics/kotlin/test.expected

@@ -0,0 +1,3 @@
+test
+test1
+| file:///modules/java.base/java/util/List.class:0:0:0:0 | iterator |

java/ql/test/kotlin/library-tests/java_and_kotlin_generics/kotlin/test.ql

@@ -0,0 +1,12 @@
+import java
+
+query predicate test(Method m1, Method m2) {
+  m1.getName() = "iterator" and
+  m1.getDeclaringType().getQualifiedName() = "java.util.List" and
+  m1.overrides(m2)
+}
+
+query predicate test1(Method m1) {
+  m1.getName() = "iterator" and
+  m1.getDeclaringType().getQualifiedName() = "java.util.List"
+}

java/ql/test/kotlin/library-tests/java_and_kotlin_generics/kotlin/x.kt

@@ -0,0 +1,7 @@
+import java.util.*
+
+class x {
+    fun test() {
+        val ll = Arrays.asList("a", "b")
+    }
+}