commit e28c3bfc8c80e1a0b5c8c5c35ce7cb6354ce72f0
author vladislav.grechko <vladislav.grechko@jetbrains.com> Mon Feb 19 18:27:45 2024 +0100
committer vladislav.grechko <vladislav.grechko@jetbrains.com> Mon Feb 19 18:27:45 2024 +0100
tree 0ad7253b71e4d43eceb5dfca865e902c72188879
parent 97f585dd25b19e273d85e14c528cf845b45991c4

Test

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

diff --git a/compiler/resolution.common/src/org/jetbrains/kotlin/resolve/calls/inference/components/ResultTypeResolver.kt b/compiler/resolution.common/src/org/jetbrains/kotlin/resolve/calls/inference/components/ResultTypeResolver.kt
index be5fca9..ae98067 100644
--- a/compiler/resolution.common/src/org/jetbrains/kotlin/resolve/calls/inference/components/ResultTypeResolver.kt
+++ b/compiler/resolution.common/src/org/jetbrains/kotlin/resolve/calls/inference/components/ResultTypeResolver.kt
@@ -143,6 +143,9 @@
             return intersectionWithAlternative
         }
 
+        if (firstCandidate.isNothing() && isSuitableType(secondCandidate, variableWithConstraints)) return secondCandidate
+        if (secondCandidate.isNothing() && isSuitableType(firstCandidate, variableWithConstraints)) return firstCandidate
+
         if (isSuitableType(firstCandidate, variableWithConstraints)) return firstCandidate
 
         return if (isSuitableType(secondCandidate, variableWithConstraints)) {