hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 01:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add tests for mutually-recursive types

Browse Source
This commit is contained in:
Chris Smowton
2022-02-03 17:37:46 +00:00
committed by Ian Lynagh
parent 8bb23651ae
commit 93e8d5a2d6
2 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/ql/test/kotlin/library-tests/generic-type-bounds/test.expected
View File

@@ -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 |

4
java/ql/test/kotlin/library-tests/generic-type-bounds/test.kt
View File

@@ -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>> { }