Consider parameterized types

Author: atorralba

java/ql/test/library-tests/dataflow/entrypoint-types/EntryPointTypesTest.java

@@ -23,6 +23,16 @@ public String getField5() {
         }
     }
 
+    static class ParameterizedTestObject<T, K> {
+        public String field6;
+        public T field7;
+        private K field8;
+
+        public K getField8() {
+            return field8;
+        }
+    }
+
     private static void sink(String sink) {}
 
     public static void test(TestObject source) {
@@ -31,4 +41,13 @@ public static void test(TestObject source) {
         sink(source.getField3().field4); // $hasTaintFlow
         sink(source.getField3().getField5()); // $hasTaintFlow
     }
+
+    public static void testParameterized(
+            ParameterizedTestObject<String, AnotherTestObject> source) {
+        sink(source.field6); // $hasTaintFlow
+        sink(source.getField7().field1); // $hasTaintFlow
+        sink(source.getField7().getField2()); // $hasTaintFlow
+        sink(source.getField8().field4); // $hasTaintFlow
+        sink(source.getField8().getField5()); // $hasTaintFlow
+    }
 }