Update compiler/src/dotty/tools/dotc/core/TyperState.scala

Author: odersky

compiler/src/dotty/tools/dotc/core/TyperState.scala

@@ -232,7 +232,7 @@ class TyperState() {
             tvars.foreach(tvar =>
               if !tvar.inst.exists then
                 if !isOwnedAnywhere(this, tvar) then includeVar(tvar)
-                if constraint.isHard(tvar) then constraint = constraint.withHard(tvar))
+                if other.isHard(tvar) then constraint = constraint.withHard(tvar))
           typeComparer.addToConstraint(tl, tvars)
         }) &&
         // Integrate the additional constraints on type variables from `other`