Replace type variables before attempting to match to an array generation

This commit is contained in:
Sauyon Lee
2021-08-25 17:15:37 -07:00
parent 9d66761eeb
commit 119de6c60c

View File

@@ -383,7 +383,7 @@ private class ArrayGenMethod extends GenMethod {
ArrayGenMethod() { this = type.getName() + "genmethod" }
override predicate appliesTo(Type t, Content c) {
t = type and
replaceTypeVariable(t.(Array).getElementType()) = type.getElementType() and
c instanceof ArrayContent
}