commit 47ccf0ba55f06451a3bb0b99ae1acc0c79b6ac3a
author Denis.Zharkov <denis.zharkov@jetbrains.com> Thu Nov 30 19:04:41 2023 +0100
committer Denis.Zharkov <denis.zharkov@jetbrains.com> Thu Nov 30 19:04:41 2023 +0100
tree ff742abad69532c39ac303ef07e3c841bb5a1d1a
parent 7a201e28d6dea9f1e596e2c8f9b47d02846a326e

~ captured types

compiler/fir/providers/src/org/jetbrains/kotlin/fir/types/ConeInferenceContext.kt

diff --git a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/types/ConeInferenceContext.kt b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/types/ConeInferenceContext.kt
index 549f823..f010b76 100644
--- a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/types/ConeInferenceContext.kt
+++ b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/types/ConeInferenceContext.kt
@@ -202,6 +202,10 @@
             return this.intersectedTypes.any { it.containsInternal(predicate) }
         }
 
+        if (this is ConeCapturedType) {
+            return this.lowerType?.containsInternal(predicate) == true || this.constructor.projection.type?.containsInternal(predicate) == true
+        }
+
         repeat(argumentsCount()) { index ->
             val argument = getArgument(index)
             if (!argument.isStarProjection() && argument.getType().containsInternal(predicate)) return true