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

2020-03-13 13:09:08 +03:00
parent fc2e7da2a9
commit fe95e37c88
1 changed files with 2 additions and 10 deletions
@@ -152,16 +152,8 @@ class PostponedArgumentsAnalyzer(

        if (!hasExpressionInReturnArguments) {
            val lambdaReturnType = lambda.returnType.let(::substitute)
-            c.getBuilder().addSubtypeConstraint(
-                lambdaReturnType,
-                unitType, /*LambdaArgumentConstraintPosition(lambda)*/
-                SimpleConstraintSystemConstraintPosition
-            )
-            c.getBuilder().addSubtypeConstraint(
-                unitType,
-                lambdaReturnType, /*LambdaArgumentConstraintPosition(lambda)*/
-                SimpleConstraintSystemConstraintPosition
-            )
+            /*LambdaArgumentConstraintPosition(lambda)*/
+            c.getBuilder().addEqualityConstraint(lambdaReturnType, unitType, SimpleConstraintSystemConstraintPosition)
        }

        lambda.analyzed = true