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

[FIR] Add equality to Unit constraint for lambda without return expressions

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2020-03-13 13:09:08 +03:00
parent fc2e7da2a9
commit fe95e37c88
1 changed files with 2 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/inference/PostponedArgumentsAnalyzer.kt
+2 -10
View File
@@ -152,16 +152,8 @@ class PostponedArgumentsAnalyzer(
if (!hasExpressionInReturnArguments) { if (!hasExpressionInReturnArguments) {
val lambdaReturnType = lambda.returnType.let(::substitute) val lambdaReturnType = lambda.returnType.let(::substitute)
c.getBuilder().addSubtypeConstraint( /*LambdaArgumentConstraintPosition(lambda)*/
lambdaReturnType, c.getBuilder().addEqualityConstraint(lambdaReturnType, unitType, SimpleConstraintSystemConstraintPosition)
unitType, /*LambdaArgumentConstraintPosition(lambda)*/
SimpleConstraintSystemConstraintPosition
)
c.getBuilder().addSubtypeConstraint(
unitType,
lambdaReturnType, /*LambdaArgumentConstraintPosition(lambda)*/
SimpleConstraintSystemConstraintPosition
)
} }
lambda.analyzed = true lambda.analyzed = true