Java: Add test showing missing dispatch for incomplete parameterised type.

Author: aschackmull

java/ql/test/library-tests/errortype/Dispatch.expected

@@ -0,0 +1 @@
+| Test.java:16:5:16:15 | method(...) | Test.java:11:17:11:22 | method |

java/ql/test/library-tests/errortype/Dispatch.ql

@@ -0,0 +1,6 @@
+import java
+import semmle.code.java.dispatch.VirtualDispatch
+
+from MethodCall mc, Method m
+where viableImpl(mc) = m
+select mc, m

java/ql/test/library-tests/errortype/Test.java

@@ -7,6 +7,16 @@ public NoSuchClass test() {
     return nsc;
   }
 
+  static class GenericClass<T> {
+    public void method() { }
+  }
+
+  public testDispatch() {
+    GenericClass<String> g1 = new GenericClass<>();
+    g1.method();
+    GenericClass<NoSuchClass> g2 = new GenericClass<>();
+    g2.method();
+  }
 }
 
 // Diagnostic Matches: Unexpected symbol for constructor: new NoSuchClass()