Fix test-generation when a type variable's bound is itself a type variable

For example, class G<A, B extends A>
This commit is contained in:
Chris Smowton
2021-06-04 18:19:36 +01:00
parent e542e71cf5
commit 5f1a491516

View File

@@ -93,7 +93,7 @@ RefType getRootType(RefType t) {
*/
RefType replaceTypeVariable(RefType t) {
if t instanceof TypeVariable
then result = t.(TypeVariable).getFirstUpperBoundType()
then result = replaceTypeVariable(t.(TypeVariable).getFirstUpperBoundType())
else result = t
}