CodeQL library for Java
codeql/java-all 0.3.2 (changelog, source)

Predicate instantiates

The type t is a parameterization of g, where the i-th type parameter of g is instantiated to a?

For example, List<Integer> parameterizes List<T>, instantiating its 0-th type parameter to Integer, while the raw type List also parameterizes List<T>, instantiating the type parameter to Object.

Import path

predicate instantiates(RefType t, GenericType g, int i, RefType arg)