Skip to content

Commit 5f1a491

Browse files
committed
Fix test-generation when a type variable's bound is itself a type variable
For example, class G<A, B extends A>
1 parent e542e71 commit 5f1a491

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

java/ql/src/utils/GenerateFlowTestCase.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -93,7 +93,7 @@ RefType getRootType(RefType t) {
9393
*/
9494
RefType replaceTypeVariable(RefType t) {
9595
if t instanceof TypeVariable
96-
then result = t.(TypeVariable).getFirstUpperBoundType()
96+
then result = replaceTypeVariable(t.(TypeVariable).getFirstUpperBoundType())
9797
else result = t
9898
}
9999

0 commit comments

Comments
 (0)