Refactor

Author: Blaisorblade

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

@@ -345,8 +345,7 @@ trait ConstraintHandling {
     assert {
       checkPropagated(i"initialized $tl") {
         constraint = constraint.add(tl, tvars)
-        tl.paramNames.indices.forall { i =>
-          val param = tl.paramRefs(i)
+        tl.paramRefs.forall { param =>
           val bounds = constraint.nonParamBounds(param)
           val lower = constraint.lower(param)
           val upper = constraint.upper(param)