Reuse equality constraints during simplification in adding constraints

2020-11-19 11:28:26 +03:00
parent aabe709079
commit 616e40f879
1 changed files with 10 additions and 8 deletions
@@ -63,14 +63,16 @@ class MutableVariableWithConstraints private constructor(
                    ConstraintKind.EQUALITY -> true
                }
                if (isMatchingForSimplification) {
-                    val actualConstraint = Constraint(
-                        ConstraintKind.EQUALITY,
-                        constraint.type,
-                        constraint.position,
-                        constraint.typeHashCode,
-                        derivedFrom = constraint.derivedFrom,
-                        isNullabilityConstraint = false
-                    )
+                    val actualConstraint = if (constraint.kind != ConstraintKind.EQUALITY) {
+                        Constraint(
+                            ConstraintKind.EQUALITY,
+                            constraint.type,
+                            constraint.position,
+                            constraint.typeHashCode,
+                            derivedFrom = constraint.derivedFrom,
+                            isNullabilityConstraint = false
+                        )
+                    } else constraint
                    mutableConstraints.add(actualConstraint)
                    simplifiedConstraints = null
                    return actualConstraint