codeql/java/ql/test-kotlin2/library-tests/arrays-with-variances/test.ql

import java

class InterestingMethod extends Method {
  InterestingMethod() { this.getDeclaringType().getName() = "TakesArrayList" }
}

query predicate broken(string methodName) {
  methodName = any(InterestingMethod m).getName() and
  count(Type t, InterestingMethod m | methodName = m.getName() and t = m.getAParamType() | t) != 1
}

from InterestingMethod m
select m.getName(), m.getAParamType().toString()