From cb1124b5ffbcdc0f6f0de66531794de4f2d00e4d Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igfoo@github.com>
Date: Thu, 4 Nov 2021 12:50:05 +0000
Subject: [PATCH] Kotlin: Add a test for type aliases

---
 .../kotlin/library-tests/type_aliases/test.kt    | 16 ++++++++++++++++
 .../type_aliases/type_aliases.expected           |  3 +++
 .../library-tests/type_aliases/type_aliases.ql   |  4 ++++
 3 files changed, 23 insertions(+)
 create mode 100644 java/ql/test/kotlin/library-tests/type_aliases/test.kt
 create mode 100644 java/ql/test/kotlin/library-tests/type_aliases/type_aliases.expected
 create mode 100644 java/ql/test/kotlin/library-tests/type_aliases/type_aliases.ql

diff --git a/java/ql/test/kotlin/library-tests/type_aliases/test.kt b/java/ql/test/kotlin/library-tests/type_aliases/test.kt
new file mode 100644
index 00000000000..8857914390a
--- /dev/null
+++ b/java/ql/test/kotlin/library-tests/type_aliases/test.kt
@@ -0,0 +1,16 @@
+
+class MyClass<T> {}
+
+typealias AliasInt = Int
+typealias AliasX = MyClass<Int>
+typealias AliasY = MyClass<AliasInt>
+
+fun someFun(
+    x1: Int,
+    x2: AliasInt,
+    x3: MyClass<Int>,
+    x4: AliasX,
+    x5: MyClass<AliasInt>,
+    x6: AliasY) {
+}
+
diff --git a/java/ql/test/kotlin/library-tests/type_aliases/type_aliases.expected b/java/ql/test/kotlin/library-tests/type_aliases/type_aliases.expected
new file mode 100644
index 00000000000..e37597d22bc
--- /dev/null
+++ b/java/ql/test/kotlin/library-tests/type_aliases/type_aliases.expected
@@ -0,0 +1,3 @@
+| test.kt:4:1:4:24 | AliasInt | file://:0:0:0:0 | Kotlin not-null Int |
+| test.kt:5:1:5:31 | AliasX | file://:0:0:0:0 | Kotlin not-null MyClass |
+| test.kt:6:1:6:36 | AliasY | file://:0:0:0:0 | Kotlin not-null MyClass |
diff --git a/java/ql/test/kotlin/library-tests/type_aliases/type_aliases.ql b/java/ql/test/kotlin/library-tests/type_aliases/type_aliases.ql
new file mode 100644
index 00000000000..79ec3869c0a
--- /dev/null
+++ b/java/ql/test/kotlin/library-tests/type_aliases/type_aliases.ql
@@ -0,0 +1,4 @@
+import java
+
+from KotlinTypeAlias ta
+select ta, ta.getKotlinType()