Drop debug println

Author: odersky

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -383,8 +383,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
    *  prefix. If the result has another unsafe instantiation, raise an error.
    */
   private def healNonvariant[T <: Tree](tree: T, pt: Type)(implicit ctx: Context): T  =
-    if (ctx.unsafeNonvariant == ctx.runId && tree.tpe.widen.hasUnsafeNonvariant) {
-      println(i"HEAL $tree")
+    if (ctx.unsafeNonvariant == ctx.runId && tree.tpe.widen.hasUnsafeNonvariant)
       tree match {
         case tree @ Select(qual, _) if !qual.tpe.isStable =>
           val alt = typedSelect(tree, pt, Typed(qual, TypeTree(SkolemType(qual.tpe.widen))))
@@ -393,7 +392,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
         case _ =>
           ctx.error(ex"unsafe instantiation of type ${tree.tpe}", tree.pos)
           tree
-      }}
+      }
     else tree
 
   def typedSelect(tree: untpd.Select, pt: Type)(implicit ctx: Context): Tree = track("typedSelect") {
@@ -2188,12 +2187,11 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
         case _ =>
       }
       // try to fully instantiate type
-      {
-        val ictx = ctx.fresh.setNewTyperState
-        val constraint = ictx.typerState.constraint
-        if (isFullyDefined(wtp, force = ForceDegree.all)(ictx) &&
-            ictx.typerState.constraint.ne(constraint)) {
-          ictx.typerState.commit()
+      { val localCtx = ctx.fresh.setNewTyperState
+        val prevConstraint = localCtx.typerState.constraint
+        if (isFullyDefined(wtp, force = ForceDegree.all)(localCtx) &&
+            localCtx.typerState.constraint.ne(prevConstraint)) {
+          localCtx.typerState.commit()
           return adapt(tree, pt, original)
         }
       }