Propagate input type position across incorporation properly

^KT-45719 Fixed

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

@@ -12191,6 +12191,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
                 runTest("compiler/testData/diagnostics/tests/inference/nullableUpperBound.kt");
             }
 
+            @Test
+            @TestMetadata("onlyInputTypesWithMultilevelIncorporation.kt")
+            public void testOnlyInputTypesWithMultilevelIncorporation() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/onlyInputTypesWithMultilevelIncorporation.kt");
+            }
+
             @Test
             @TestMetadata("opposite.kt")
             public void testOpposite() throws Exception {

compiler/resolution.common/src/org/jetbrains/kotlin/resolve/calls/inference/components/ConstraintIncorporator.kt

@@ -219,7 +219,8 @@ class ConstraintIncorporator(
 
         val kind = if (isSubtype) ConstraintKind.LOWER else ConstraintKind.UPPER
 
-        val inputTypePosition = baseConstraint.position.from as? OnlyInputTypeConstraintPosition
+        val inputTypePosition =
+            baseConstraint.position.from as? OnlyInputTypeConstraintPosition ?: baseConstraint.inputTypePositionBeforeIncorporation
 
         val isNewConstraintUsefulForNullability = isUsefulForNullabilityConstraint && newConstraint.isNullableNothing()
         val isOtherConstraintUsefulForNullability = otherConstraint.isNullabilityConstraint && otherConstraint.type.isNullableNothing()

compiler/testData/diagnostics/tests/inference/onlyInputTypesWithMultilevelIncorporation.fir.kt

@@ -0,0 +1,15 @@
+// WITH_RUNTIME
+// !DIAGNOSTICS: -UNUSED_PARAMETER
+
+@file:Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
+
+import kotlin.internal.OnlyInputTypes
+
+fun <<!HIDDEN!>@OnlyInputTypes<!> T> assertEquals(expected: T, actual: T, message: String? = null) {}
+
+fun main() {
+    assertEquals(
+        mapOf(1 to "1", 2 to "2", 3 to "3"),
+        intArrayOf(1, 2, 3).associateWith { it.toString() }
+    )
+}

compiler/testData/diagnostics/tests/inference/onlyInputTypesWithMultilevelIncorporation.kt

@@ -0,0 +1,15 @@
+// WITH_RUNTIME
+// !DIAGNOSTICS: -UNUSED_PARAMETER
+
+@file:Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
+
+import kotlin.internal.OnlyInputTypes
+
+fun <@OnlyInputTypes T> assertEquals(expected: T, actual: T, message: String? = null) {}
+
+fun main() {
+    assertEquals(
+        mapOf(1 to "1", 2 to "2", 3 to "3"),
+        intArrayOf(1, 2, 3).associateWith { it.toString() }
+    )
+}

compiler/testData/diagnostics/tests/inference/onlyInputTypesWithMultilevelIncorporation.txt

@@ -0,0 +1,4 @@
+package
+
+public fun </*0*/ @kotlin.internal.OnlyInputTypes T> assertEquals(/*0*/ expected: T, /*1*/ actual: T, /*2*/ message: kotlin.String? = ...): kotlin.Unit
+public fun main(): kotlin.Unit

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

@@ -12197,6 +12197,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/inference/nullableUpperBound.kt");
             }
 
+            @Test
+            @TestMetadata("onlyInputTypesWithMultilevelIncorporation.kt")
+            public void testOnlyInputTypesWithMultilevelIncorporation() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/onlyInputTypesWithMultilevelIncorporation.kt");
+            }
+
             @Test
             @TestMetadata("opposite.kt")
             public void testOpposite() throws Exception {