Fix bug in printing untyped New nodes.

odersky · odersky · commit f10055ac8d47 · 2016-07-03T18:15:41.000+02:00
Printed as &lt;notype&gt; before.
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala
@@ -299,7 +299,11 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
         "new " ~ {
           tpt match {
             case tpt: Template => toTextTemplate(tpt, ofNew = true)
-            case _ => toTextLocal(tpt.typeOpt.underlyingClassRef(refinementOK = false))
+            case _ =>
+              if (tpt.hasType)
+                toTextLocal(tpt.typeOpt.underlyingClassRef(refinementOK = false))
+              else
+                toTextLocal(tpt)
           }
         }
       case Pair(l, r) =>

Original file line number	Diff line number	Diff line change
`@@ -299,7 +299,11 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {`
`299`	`299`	`"new " ~ {`
`300`	`300`	`tpt match {`
`301`	`301`	`case tpt: Template => toTextTemplate(tpt, ofNew = true)`
`302`		`- case _ => toTextLocal(tpt.typeOpt.underlyingClassRef(refinementOK = false))`
	`302`	`+ case _ =>`
	`303`	`+ if (tpt.hasType)`
	`304`	`+ toTextLocal(tpt.typeOpt.underlyingClassRef(refinementOK = false))`
	`305`	`+ else`
	`306`	`+ toTextLocal(tpt)`
`303`	`307`	`}`
`304`	`308`	`}`
`305`	`309`	`case Pair(l, r) =>`