From 38c7337b191ca40c6f91e2ee109288461888f5fa Mon Sep 17 00:00:00 2001
From: "sebastian.sellmair" <sebastian.sellmair@jetbrains.com>
Date: Thu, 16 Sep 2021 15:04:29 +0200
Subject: [PATCH] [Commonizer] Add tests to ParameterizedTypesCommonizationTest

^KT-48288
---
 .../ParameterizedTypesCommonizationTest.kt    | 77 +++++++++++++++++++
 1 file changed, 77 insertions(+)

diff --git a/native/commonizer/tests/org/jetbrains/kotlin/commonizer/hierarchical/ParameterizedTypesCommonizationTest.kt b/native/commonizer/tests/org/jetbrains/kotlin/commonizer/hierarchical/ParameterizedTypesCommonizationTest.kt
index 9c6f11d345c..d96bfdada07 100644
--- a/native/commonizer/tests/org/jetbrains/kotlin/commonizer/hierarchical/ParameterizedTypesCommonizationTest.kt
+++ b/native/commonizer/tests/org/jetbrains/kotlin/commonizer/hierarchical/ParameterizedTypesCommonizationTest.kt
@@ -287,4 +287,81 @@ class ParameterizedTypesCommonizationTest : AbstractInlineSourcesCommonizationTe
             """.trimIndent()
         )
     }
+
+    fun `test parameterized function - 0`() {
+        val result = commonize {
+            outputTarget("(a, b)")
+            simpleSingleSourceTarget(
+                "a", """
+                    typealias X<T> = Map<Int, T>
+                    fun <T: Any> x(x: X<T>)
+                """.trimIndent()
+            )
+
+            simpleSingleSourceTarget(
+                "b", """
+                    fun <T: Any> x(x: Map<Int, T>)
+                """.trimIndent()
+            )
+        }
+
+        result.assertCommonized(
+            "(a, b)", """
+                expect fun <T: Any> x(x: Map<Int, T>)
+            """.trimIndent()
+        )
+    }
+
+    fun `test parameterized function - 1`() {
+        val result = commonize {
+            outputTarget("(a, b)")
+
+            simpleSingleSourceTarget(
+                "a", """
+                    typealias X<T> = Map<Int, T>
+                    fun <T: X<T>> x(x: X<T>)
+                """.trimIndent()
+            )
+
+            simpleSingleSourceTarget(
+                "b", """
+                    fun <T: Map<Int, T>> x(x: Map<Int, T>)
+                """.trimIndent()
+            )
+        }
+
+        result.assertCommonized(
+            "(a, b)", """
+                expect fun <T: Map<Int, T>> x(x: Map<Int, T>)
+            """.trimIndent()
+        )
+    }
+
+    fun `test parameterized function - 2`() {
+        val result = commonize {
+            outputTarget("(a, b)")
+
+            simpleSingleSourceTarget(
+                "a", """
+                    typealias X<T> = Map<Int, T>
+                    fun <T: X<T>> x(x: X<T>)
+                """.trimIndent()
+            )
+
+            simpleSingleSourceTarget(
+                "b", """
+                    typealias X<T> = Map<Int, T>
+                    typealias Y<T> = X<T>
+                    fun <T: Y<T>> x(x: Y<T>)
+                """.trimIndent()
+            )
+        }
+
+        result.assertCommonized(
+            "(a, b)", """
+                expect typealias X<T> = Map<Int, T>
+                expect fun <T: X<T>> x(x: X<T>)
+            """.trimIndent()
+        )
+    }
 }