From b524fb4f3ae369f67dfc91e51fff37f083224e77 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igfoo@github.com>
Date: Tue, 14 Jun 2022 10:58:26 +0100
Subject: [PATCH] Java: Add a test for cycles in the type hierarchy

---
 java/ql/test/library-tests/types/cycles/Test.java       | 2 ++
 java/ql/test/library-tests/types/cycles/cycles.expected | 6 ++++++
 java/ql/test/library-tests/types/cycles/cycles.ql       | 5 +++++
 3 files changed, 13 insertions(+)
 create mode 100644 java/ql/test/library-tests/types/cycles/Test.java
 create mode 100644 java/ql/test/library-tests/types/cycles/cycles.expected
 create mode 100644 java/ql/test/library-tests/types/cycles/cycles.ql

diff --git a/java/ql/test/library-tests/types/cycles/Test.java b/java/ql/test/library-tests/types/cycles/Test.java
new file mode 100644
index 00000000000..a06540728b9
--- /dev/null
+++ b/java/ql/test/library-tests/types/cycles/Test.java
@@ -0,0 +1,2 @@
+public class Test {
+}
diff --git a/java/ql/test/library-tests/types/cycles/cycles.expected b/java/ql/test/library-tests/types/cycles/cycles.expected
new file mode 100644
index 00000000000..7c0e79d7252
--- /dev/null
+++ b/java/ql/test/library-tests/types/cycles/cycles.expected
@@ -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<?,?> |
diff --git a/java/ql/test/library-tests/types/cycles/cycles.ql b/java/ql/test/library-tests/types/cycles/cycles.ql
new file mode 100644
index 00000000000..dd4d6e1f757
--- /dev/null
+++ b/java/ql/test/library-tests/types/cycles/cycles.ql
@@ -0,0 +1,5 @@
+import java
+
+from RefType t
+where t = t.getAStrictAncestor()
+select t.toString()