From 7475f84ea5a69c5572e3cd0b954cb2c8ca9fdbc4 Mon Sep 17 00:00:00 2001
From: Chris Smowton <smowton@github.com>
Date: Thu, 14 Jul 2022 15:19:05 +0100
Subject: [PATCH] Fix type-parameter-out-of-scope test

---
 java/ql/consistency-queries/typeParametersInScope.ql | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/java/ql/consistency-queries/typeParametersInScope.ql b/java/ql/consistency-queries/typeParametersInScope.ql
index f78bf2d42a4..2f1fd651278 100644
--- 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) {