azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

K2: inline notFixedInputTypeVariables in ConstraintSystemCompleter

Browse Source
This commit is contained in:
Mikhail Glukhikh
2024-01-23 17:39:55 +01:00
committed by Space Team
parent b4e1fa8569
commit c7bc8547da
1 changed files with 1 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/ConstraintSystemCompleter.kt
+1 -4
View File
@@ -245,12 +245,9 @@ class ConstraintSystemCompleter(components: BodyResolveComponents, private val c
val lambdaArguments = postponedArguments.filterIsInstance<ResolvedLambdaAtom>().takeIf { it.isNotEmpty() } ?: return false val lambdaArguments = postponedArguments.filterIsInstance<ResolvedLambdaAtom>().takeIf { it.isNotEmpty() } ?: return false
fun ResolvedLambdaAtom.notFixedInputTypeVariables(): List<TypeVariableTypeConstructorMarker> =
inputTypes.flatMap { it.extractTypeVariables() }.filter { it !in fixedTypeVariables }
var anyAnalyzed = false var anyAnalyzed = false
for (argument in lambdaArguments) { for (argument in lambdaArguments) {
val notFixedInputTypeVariables = argument.notFixedInputTypeVariables() val notFixedInputTypeVariables = argument.inputTypes.flatMap { it.extractTypeVariables() }.filter { it !in fixedTypeVariables }
if (notFixedInputTypeVariables.isEmpty()) continue if (notFixedInputTypeVariables.isEmpty()) continue
analyze(argument) analyze(argument)