Add tests for mutually-recursive types

smowton · igfoo · commit 93e8d5a2d64c · 2022-05-10T19:51:16.000+01:00
diff --git a/java/ql/test/kotlin/library-tests/generic-type-bounds/test.expected b/java/ql/test/kotlin/library-tests/generic-type-bounds/test.expected
@@ -4,5 +4,8 @@ classTVs
 | test.kt:1:31:1:31 | R | test.kt:1:1:5:1 | Test | Object |
 | test.kt:7:22:7:22 | P | test.kt:7:1:7:67 | MultipleBounds | List<String> |
 | test.kt:7:22:7:22 | P | test.kt:7:1:7:67 | MultipleBounds | Set<String> |
+| test.kt:9:22:9:42 | T | test.kt:9:1:9:47 | RecursiveBound | RecursiveBound<T> |
+| test.kt:11:28:11:57 | T | test.kt:11:1:11:94 | MutualRecursiveBound | MutualRecursiveBound<T,S> |
+| test.kt:11:60:11:89 | S | test.kt:11:1:11:94 | MutualRecursiveBound | MutualRecursiveBound<T,S> |
 functionTVs
 | test.kt:3:8:3:17 | Q | test.kt:3:3:3:26 | f | Number |
diff --git a/java/ql/test/kotlin/library-tests/generic-type-bounds/test.kt b/java/ql/test/kotlin/library-tests/generic-type-bounds/test.kt
@@ -5,3 +5,7 @@ class Test<T : Number, S : T, R> {
 }
 
 class MultipleBounds<P> where P : List<String>, P : Set<String> { }
+
+class RecursiveBound<T : RecursiveBound<T>> { }
+
+class MutualRecursiveBound<T : MutualRecursiveBound<T, S>, S : MutualRecursiveBound<T, S>> { }

Original file line number	Diff line number	Diff line change
`@@ -5,3 +5,7 @@ class Test<T : Number, S : T, R> {`
`5`	`5`	`}`
`6`	`6`
`7`	`7`	`class MultipleBounds<P> where P : List<String>, P : Set<String> { }`
	`8`	`+`
	`9`	`+class RecursiveBound<T : RecursiveBound<T>> { }`
	`10`	`+`
	`11`	`+class MutualRecursiveBound<T : MutualRecursiveBound<T, S>, S : MutualRecursiveBound<T, S>> { }`