diff --git a/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsSmokeTestGenerated.java b/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsSmokeTestGenerated.java
index 4e9a2fc3347..f28c73c9a11 100644
--- a/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsSmokeTestGenerated.java
+++ b/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsSmokeTestGenerated.java
@@ -10124,6 +10124,11 @@ public class FirDiagnosticsSmokeTestGenerated extends AbstractFirDiagnosticsSmok
                 runTest("compiler/testData/diagnostics/tests/inference/commonSystem/lessSpecificTypeForArgumentCallWithExactAnnotation_ni.kt");
             }
 
+            @TestMetadata("manyArgumentsForVararg.kt")
+            public void testManyArgumentsForVararg() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/inference/commonSystem/manyArgumentsForVararg.kt");
+            }
+
             @TestMetadata("nestedLambdas.kt")
             public void testNestedLambdas() throws Exception {
                 runTest("compiler/testData/diagnostics/tests/inference/commonSystem/nestedLambdas.kt");
diff --git a/compiler/testData/diagnostics/tests/inference/commonSystem/manyArgumentsForVararg.kt b/compiler/testData/diagnostics/tests/inference/commonSystem/manyArgumentsForVararg.kt
new file mode 100644
index 00000000000..ad37f1b3559
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/commonSystem/manyArgumentsForVararg.kt
@@ -0,0 +1,178 @@
+// !LANGUAGE: +NewInference
+// !DIAGNOSTICS: -UNUSED_PARAMETER
+
+val prop = mapOf(
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b"),
+    to("a", "b")
+)
+
+fun <A, B> to(a: A, b: B): Pair<A, B> = TODO()
+fun <K, V> mapOf(vararg pairs: Pair<K, V>): Map<K, V> = TODO()
+
+class Pair<out A, out B>
\ No newline at end of file
diff --git a/compiler/testData/diagnostics/tests/inference/commonSystem/manyArgumentsForVararg.txt b/compiler/testData/diagnostics/tests/inference/commonSystem/manyArgumentsForVararg.txt
new file mode 100644
index 00000000000..39541a7c43b
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/commonSystem/manyArgumentsForVararg.txt
@@ -0,0 +1,12 @@
+package
+
+public val prop: kotlin.collections.Map<kotlin.String, kotlin.String>
+public fun </*0*/ K, /*1*/ V> mapOf(/*0*/ vararg pairs: Pair<K, V> /*kotlin.Array<out Pair<K, V>>*/): kotlin.collections.Map<K, V>
+public fun </*0*/ A, /*1*/ B> to(/*0*/ a: A, /*1*/ b: B): Pair<A, B>
+
+public final class Pair</*0*/ out A, /*1*/ out B> {
+    public constructor Pair</*0*/ out A, /*1*/ out B>()
+    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
+}
diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/41.kt b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/41.kt
index 3c16fb00041..5e12c2a1b14 100644
--- a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/41.kt
+++ b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/41.kt
@@ -19,7 +19,7 @@ fun case_1(x: Any) {
     if (x is Interface1) {
         if (x is Interface2) {
             <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & Interface2 & kotlin.Any")!>x<!>
-            <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & kotlin.Any"), DEBUG_INFO_SMARTCAST!>x<!>.itest()
+            <!DEBUG_INFO_EXPRESSION_TYPE("Interface2 & kotlin.Any"), DEBUG_INFO_SMARTCAST!>x<!>.itest()
             <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & kotlin.Any"), DEBUG_INFO_SMARTCAST!>x<!>.itest1()
             <!DEBUG_INFO_EXPRESSION_TYPE("Interface2 & kotlin.Any"), DEBUG_INFO_SMARTCAST!>x<!>.itest2()
         }
diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/6.kt b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/6.kt
index 20b635170e1..8e522c28619 100644
--- a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/6.kt
+++ b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/6.kt
@@ -1297,7 +1297,7 @@ fun case_71(t: Any?) {
                 <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & Interface2 & kotlin.Any & kotlin.Any?")!>t<!>
                 <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest1()
                 <!DEBUG_INFO_EXPRESSION_TYPE("Interface2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest2()
-                <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest()
+                <!DEBUG_INFO_EXPRESSION_TYPE("Interface2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest()
 
                 <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.let { <!DEBUG_INFO_EXPRESSION_TYPE("{Any & Interface1 & Interface2}")!>it<!>.itest1(); <!DEBUG_INFO_EXPRESSION_TYPE("{Any & Interface1 & Interface2}")!>it<!>.itest2() }
             }
@@ -1318,7 +1318,7 @@ fun case_72(t: Any?, z1: Nothing?) {
         <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & Interface2 & kotlin.Any & kotlin.Any?")!>t<!>
         <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest1()
         <!DEBUG_INFO_EXPRESSION_TYPE("Interface2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest2()
-        <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest()
+        <!DEBUG_INFO_EXPRESSION_TYPE("Interface2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest()
 
         <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.let { <!DEBUG_INFO_EXPRESSION_TYPE("{Any & Interface1 & Interface2}")!>it<!>.itest1(); <!DEBUG_INFO_EXPRESSION_TYPE("{Any & Interface1 & Interface2}")!>it<!>.itest2() }
     }
@@ -1340,7 +1340,7 @@ fun case_73(t: Any?) {
                     if (t != <!DEBUG_INFO_CONSTANT!>`null`<!>) {
                         <!DEBUG_INFO_EXPRESSION_TYPE("Interface2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest2()
                         <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest1()
-                        <!DEBUG_INFO_EXPRESSION_TYPE("Interface2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest()
+                        <!DEBUG_INFO_EXPRESSION_TYPE("Interface3 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest()
                         <!DEBUG_INFO_EXPRESSION_TYPE("ClassLevel1 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.test1()
                         <!DEBUG_INFO_EXPRESSION_TYPE("ClassLevel2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.test2()
                         <!DEBUG_INFO_EXPRESSION_TYPE("ClassLevel1 & ClassLevel2 & Interface1 & Interface2 & Interface3 & kotlin.Any & kotlin.Any?")!>t<!>
@@ -1365,7 +1365,7 @@ fun case_74(t: Any?) {
                     if (t is Interface3?) {
                         <!DEBUG_INFO_EXPRESSION_TYPE("Interface2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest2()
                         <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest1()
-                        <!DEBUG_INFO_EXPRESSION_TYPE("Interface2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest()
+                        <!DEBUG_INFO_EXPRESSION_TYPE("Interface3 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest()
                         <!DEBUG_INFO_EXPRESSION_TYPE("ClassLevel1 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.test1()
                         <!DEBUG_INFO_EXPRESSION_TYPE("ClassLevel2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.test2()
                         <!DEBUG_INFO_EXPRESSION_TYPE("ClassLevel1 & ClassLevel2 & Interface1 & Interface2 & Interface3 & kotlin.Any & kotlin.Any?")!>t<!>
@@ -1388,7 +1388,7 @@ fun case_75(t: Any?, z: Nothing?) {
             if (t !is Interface2? || t !is Interface3?) {} else {
                 <!DEBUG_INFO_EXPRESSION_TYPE("Interface2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest2()
                 <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest1()
-                <!DEBUG_INFO_EXPRESSION_TYPE("Interface1 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest()
+                <!DEBUG_INFO_EXPRESSION_TYPE("Interface3 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.itest()
                 <!DEBUG_INFO_EXPRESSION_TYPE("ClassLevel2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.test1()
                 <!DEBUG_INFO_EXPRESSION_TYPE("ClassLevel2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>.test2()
                 <!DEBUG_INFO_EXPRESSION_TYPE("ClassLevel2 & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>t<!>
diff --git a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
index 4bce66ca116..cfcb365010b 100644
--- a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
@@ -10131,6 +10131,11 @@ public class DiagnosticsTestGenerated extends AbstractDiagnosticsTest {
                     runTest("compiler/testData/diagnostics/tests/inference/commonSystem/lessSpecificTypeForArgumentCallWithExactAnnotation_ni.kt");
                 }
 
+                @TestMetadata("manyArgumentsForVararg.kt")
+                public void testManyArgumentsForVararg() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/commonSystem/manyArgumentsForVararg.kt");
+                }
+
                 @TestMetadata("nestedLambdas.kt")
                 public void testNestedLambdas() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/inference/commonSystem/nestedLambdas.kt");
diff --git a/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java
index 7b805010b87..83ec993f7d0 100644
--- a/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java
@@ -10126,6 +10126,11 @@ public class DiagnosticsUsingJavacTestGenerated extends AbstractDiagnosticsUsing
                     runTest("compiler/testData/diagnostics/tests/inference/commonSystem/lessSpecificTypeForArgumentCallWithExactAnnotation_ni.kt");
                 }
 
+                @TestMetadata("manyArgumentsForVararg.kt")
+                public void testManyArgumentsForVararg() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/inference/commonSystem/manyArgumentsForVararg.kt");
+                }
+
                 @TestMetadata("nestedLambdas.kt")
                 public void testNestedLambdas() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/inference/commonSystem/nestedLambdas.kt");
diff --git a/core/descriptors/src/org/jetbrains/kotlin/types/KotlinType.kt b/core/descriptors/src/org/jetbrains/kotlin/types/KotlinType.kt
index 7f8caf554a0..c64601745a4 100644
--- a/core/descriptors/src/org/jetbrains/kotlin/types/KotlinType.kt
+++ b/core/descriptors/src/org/jetbrains/kotlin/types/KotlinType.kt
@@ -101,7 +101,7 @@ sealed class KotlinType : Annotated, KotlinTypeMarker {
     final override fun hashCode(): Int {
         // NB: make one read to prevent race
         var currentHashCode = cachedHashCode
-        if (currentHashCode == 0) return currentHashCode
+        if (currentHashCode != 0) return currentHashCode
 
         currentHashCode = computeHashCode()