[FIR] Don't force calculation of return type in substitution scope

2020-10-14 18:26:43 +03:00
parent 06981fc0af
commit f9faa5be64
5 changed files with 222 additions and 52 deletions
@@ -0,0 +1,17 @@
+FILE: implicitTypeInFakeOverride.kt
+    public final fun <K> extract(x: R|Out<K>|): R|T| {
+        ^extract R|<local>/x|.R|/Out.get|()
+    }
+    public final class Out<out T> : R|kotlin/Any| {
+        public constructor<out T>(x: R|T|): R|Out<T>| {
+            super<R|kotlin/Any|>()
+        }
+
+        public final val x: R|T| = R|<local>/x|
+            public get(): R|T|
+
+        public final fun get(): R|T| {
+            ^get this@R|/Out|.R|/Out.x|
+        }
+
+    }