Select non-DeclaredUpperBound for initial when simplifying constraint

2021-10-28 13:14:53 +03:00
parent 91b629d16a
commit 6cf2c6f93a
1 changed files with 2 additions and 1 deletions
@@ -73,7 +73,8 @@ class MutableVariableWithConstraints private constructor(
                        Constraint(
                            ConstraintKind.EQUALITY,
                            constraint.type,
-                            constraint.position,
+                            constraint.position.takeIf { it.from !is DeclaredUpperBoundConstraintPosition<*> }
+                                ?: previousConstraint.position,
                            constraint.typeHashCode,
                            derivedFrom = constraint.derivedFrom,
                            isNullabilityConstraint = false