azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

FIR: fix substitution of anonymous type's supertype again

Browse Source 
^KT-51418 Fixed
This commit is contained in:
pyos
2022-10-31 12:53:47 +01:00
committed by teamcity
parent f099c190f7
commit 7787638737
3 changed files with 17 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/tests/inference/substitutions/hideLocalTypeForReturnTypeOfSingleExpressionFunction.kt
Vendored
+5
View File
@@ -31,13 +31,18 @@ class FieldTest {
interface I<T>
interface I2<A, B>
interface I3<T> { fun foo(x: T) }
private fun <V> f(x: V) = object : I<I<V>> {}
private fun <V> f1(x: V) = object : I<I<in V>> {}
private fun <V> f2(x: V) = object : I2<V, V> {}
private fun <V, W> f3(x: V, y: W) = object : I<I2<*, W>> {}
private fun <V, W> I3<V>.f4(block: (W) -> V) = object : I3<W> {
override fun foo(x: W) = this@f4.foo(block(x))
}
fun g() = f("f")
fun g1() = f("f1")
fun g2() = f2("f2")
fun g3() = f3("f3", 3)
fun <V, W> I3<V>.g4(block: (W) -> V) = f4(block)
compiler/testData/diagnostics/tests/inference/substitutions/hideLocalTypeForReturnTypeOfSingleExpressionFunction.txt
Vendored
+9
View File
@@ -12,6 +12,8 @@ public fun g2(): I2<kotlin.String, kotlin.String>
public fun g3(): I<I2<*, kotlin.Int>>
public fun main(): kotlin.Unit
private fun </*0*/ T> test(/*0*/ t: T): test.`<no name provided>`<T>
private fun </*0*/ V, /*1*/ W> I3<V>.f4(/*0*/ block: (W) -> V): f4.`<no name provided>`<V, W>
public fun </*0*/ V, /*1*/ W> I3<V>.g4(/*0*/ block: (W) -> V): I3<W>
public abstract class A</*0*/ T> {
public constructor A</*0*/ T>()
@@ -43,3 +45,10 @@ public interface I2</*0*/ A, /*1*/ B> {
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}
public interface I3</*0*/ T> {
public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
public abstract fun foo(/*0*/ x: T): kotlin.Unit
public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
}