[FE] Add test for KT-51016

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java

@@ -15433,6 +15433,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
                     runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.kt");
                 }
 
+                @Test
+                @TestMetadata("kt51016.kt")
+                public void testKt51016() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt51016.kt");
+                }
+
                 @Test
                 @TestMetadata("nullableEmptyIntersection.kt")
                 public void testNullableEmptyIntersection() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java

@@ -15433,6 +15433,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
                     runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.kt");
                 }
 
+                @Test
+                @TestMetadata("kt51016.kt")
+                public void testKt51016() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt51016.kt");
+                }
+
                 @Test
                 @TestMetadata("nullableEmptyIntersection.kt")
                 public void testNullableEmptyIntersection() throws Exception {

compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt51016.fir.kt

@@ -0,0 +1,11 @@
+interface A<T>
+interface B<T> : A<T>
+
+fun <T : Comparable<T>, S : T?> B<in S>.foo(t: T) {}
+fun <T : Comparable<T>, S : T?> A<in S>.foo(other: A<in S>) {}
+
+interface C<T> : B<T>, Comparable<C<*>>
+
+fun test(x: C<Long?>) {
+    x.foo(x)  // OVERLOAD_RESOLUTION_AMBIGUITY, shoub be OK
+}

compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt51016.kt

@@ -0,0 +1,11 @@
+interface A<T>
+interface B<T> : A<T>
+
+fun <T : Comparable<T>, S : T?> B<in S>.foo(t: T) {}
+fun <T : Comparable<T>, S : T?> A<in S>.foo(other: A<in S>) {}
+
+interface C<T> : B<T>, Comparable<C<*>>
+
+fun test(x: C<Long?>) {
+    x.<!OVERLOAD_RESOLUTION_AMBIGUITY!>foo<!>(x)  // OVERLOAD_RESOLUTION_AMBIGUITY, shoub be OK
+}

compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt51016.txt

@@ -0,0 +1,24 @@
+package
+
+public fun test(/*0*/ x: C<kotlin.Long?>): kotlin.Unit
+public fun </*0*/ T : kotlin.Comparable<T>, /*1*/ S : T?> A<in S>.foo(/*0*/ other: A<in S>): kotlin.Unit
+public fun </*0*/ T : kotlin.Comparable<T>, /*1*/ S : T?> B<in S>.foo(/*0*/ t: T): kotlin.Unit
+
+public interface A</*0*/ T> {
+    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+}
+
+public interface B</*0*/ T> : A<T> {
+    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+}
+
+public interface C</*0*/ T> : B<T>, kotlin.Comparable<C<*>> {
+    public abstract override /*1*/ /*fake_override*/ fun compareTo(/*0*/ other: C<*>): kotlin.Int
+    public open override /*2*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+    public open override /*2*/ /*fake_override*/ fun hashCode(): kotlin.Int
+    public open override /*2*/ /*fake_override*/ fun toString(): kotlin.String
+}

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java

@@ -15439,6 +15439,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                     runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt49661.kt");
                 }
 
+                @Test
+                @TestMetadata("kt51016.kt")
+                public void testKt51016() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/emptyIntersectionTypes/kt51016.kt");
+                }
+
                 @Test
                 @TestMetadata("nullableEmptyIntersection.kt")
                 public void testNullableEmptyIntersection() throws Exception {