Fix position in constructor call

Duhemm · Duhemm · commit 4c1c8e6a97c6 · 2018-09-14T09:34:51.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -1436,7 +1436,8 @@ object Parsers {
           val (impl, missingBody) = template(emptyConstructor)
           impl.parents match {
             case parent :: Nil if missingBody =>
-              if (parent.isType) ensureApplied(wrapNew(parent)) else parent
+              if (parent.isType) ensureApplied(wrapNew(parent))
+              else parent.withPos(Position(start, in.lastOffset))
             case _ =>
               New(impl.withPos(Position(start, in.lastOffset)))
           }
diff --git a/compiler/test-resources/repl/errmsgs b/compiler/test-resources/repl/errmsgs
@@ -25,9 +25,9 @@ scala> val z: (List[String], List[Int]) = (List(1), List("a"))
   |
 scala> val a: Inv[String] = new Inv(new Inv(1))
 1 | val a: Inv[String] = new Inv(new Inv(1))
-  |                                  ^^^^^
-  |                                  found:    Inv[Int]
-  |                                  required: String
+  |                              ^^^^^^^^^^
+  |                              found:    Inv[Int]
+  |                              required: String
   |
 scala> val b: Inv[String] = new Inv(1)
 1 | val b: Inv[String] = new Inv(1)

Original file line number	Diff line number	Diff line change
`@@ -25,9 +25,9 @@ scala> val z: (List[String], List[Int]) = (List(1), List("a"))`
`25`	`25`	`\|`
`26`	`26`	`scala> val a: Inv[String] = new Inv(new Inv(1))`
`27`	`27`	`1 \| val a: Inv[String] = new Inv(new Inv(1))`
`28`		`- \| ^^^^^`
`29`		`- \| found: Inv[Int]`
`30`		`- \| required: String`
	`28`	`+ \| ^^^^^^^^^^`
	`29`	`+ \| found: Inv[Int]`
	`30`	`+ \| required: String`
`31`	`31`	`\|`
`32`	`32`	`scala> val b: Inv[String] = new Inv(1)`
`33`	`33`	`1 \| val b: Inv[String] = new Inv(1)`