K2: reproduce KT-56614

2023-11-15 15:46:37 +01:00
parent 39c38aa588
commit ce381f335d
6 changed files with 73 additions and 0 deletions
@@ -0,0 +1,21 @@
+FILE: package1.kt
+    package p1
+
+    public abstract fun interface SamUnit : R|kotlin/Any| {
+        public abstract fun foo(): R|kotlin/Unit|
+
+    }
+    public final fun bar(x: R|kotlin/String|, y: R|kotlin/String|, z: R|p1/SamUnit|): R|kotlin/Unit| {
+    }
+FILE: package2.kt
+    package p2
+
+    public final fun bar(x: R|kotlin/Any|, y: R|kotlin/Any|, z: R|() -> kotlin/Unit|): R|kotlin/Unit| {
+    }
+FILE: main.kt
+    public final fun main(): R|kotlin/Unit| {
+        R|p2/bar|(String(), String(), <L> = bar@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
+            ^@bar Unit
+        }
+        )
+    }