Java: Add a test for cycles in the type hierarchy

This commit is contained in:
Ian Lynagh
2022-06-14 10:58:26 +01:00
parent 304e2926c9
commit b524fb4f3a
3 changed files with 13 additions and 0 deletions

View File

@@ -0,0 +1,2 @@
public class Test {
}

View File

@@ -0,0 +1,6 @@
| BiFunction<? super Object,? super Object,? extends Object> |
| BiFunction<? super Object,? super Object,?> |
| Function<? super Object,? extends Object> |
| Function<? super Object,?> |
| Map<? extends Object,? extends Object> |
| Map<?,?> |

View File

@@ -0,0 +1,5 @@
import java
from RefType t
where t = t.getAStrictAncestor()
select t.toString()