Fix type-parameter-out-of-scope test

smowton · smowton · commit 7475f84ea5a6 · 2022-07-28T15:51:59.000+01:00
diff --git a/java/ql/consistency-queries/typeParametersInScope.ql b/java/ql/consistency-queries/typeParametersInScope.ql
@@ -12,6 +12,8 @@ Type getAMentionedType(RefType type) {
   result = getAMentionedType(type).(InstantiatedType).getATypeArgument()
   or
   result = getAMentionedType(type).(NestedType).getEnclosingType()
+  or
+  result = getAMentionedType(type).(Wildcard).getATypeBound().getType()
 }
 
 Type getATypeUsedInClass(RefType type) {

Original file line number	Diff line number	Diff line change
`@@ -12,6 +12,8 @@ Type getAMentionedType(RefType type) {`
`12`	`12`	`result = getAMentionedType(type).(InstantiatedType).getATypeArgument()`
`13`	`13`	`or`
`14`	`14`	`result = getAMentionedType(type).(NestedType).getEnclosingType()`
	`15`	`+ or`
	`16`	`+ result = getAMentionedType(type).(Wildcard).getATypeBound().getType()`
`15`	`17`	`}`
`16`	`18`
`17`	`19`	`Type getATypeUsedInClass(RefType type) {`