Fix position of typeCheckErrors

nicolasstucki · nicolasstucki · commit c455e84ca2dc · 2021-02-04T15:32:44.000+01:00
diff --git a/community-build/community-projects/utest b/community-build/community-projects/utest
@@ -1 +1 @@
-Subproject commit 654376f41f8380a44fdb70f693016f25633ae1be
+Subproject commit cf30b7c40425d4d3809eef462888e748bff0c809
diff --git a/compiler/src/dotty/tools/dotc/typer/Inliner.scala b/compiler/src/dotty/tools/dotc/typer/Inliner.scala
@@ -288,8 +288,8 @@ object Inliner {
       }
 
       val Apply(_, codeArg :: Nil) = tree
+      val codeArg1 = stripTyped(codeArg.underlying)
       val underlyingCodeArg =
-        val codeArg1 = stripTyped(codeArg.underlying)
         if Inliner.isInlineable(codeArg1) then stripTyped(Inliner.inlineCall(codeArg1))
         else codeArg1
 
@@ -308,7 +308,7 @@ object Inliner {
             res ++= typerErrors.map(e => ErrorKind.Typer -> e)
           res.toList
         case t =>
-          report.error(em"argument to ${tree.symbol} must be a statically known String but was: $codeArg", codeArg.srcPos)
+          report.error(em"argument to compileError must be a statically known String but was: $codeArg", codeArg1.srcPos)
           Nil
       }
 
diff --git a/tests/run/typeCheckErrors.check b/tests/run/typeCheckErrors.check
@@ -1 +1 @@
-List(Error(value check is not a member of Unit,compileError("1" * 2).check(""),22,Typer), Error(argument to compileError must be a statically known String,compileError("1" * 2).check(""),13,Typer))
+List(Error(value check is not a member of Unit,compileError("1" * 2).check(""),22,Typer), Error(argument to compileError must be a statically known String but was: augmentString("1").*(2),compileError("1" * 2).check(""),13,Typer))

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-List(Error(value check is not a member of Unit,compileError("1" * 2).check(""),22,Typer), Error(argument to compileError must be a statically known String,compileError("1" * 2).check(""),13,Typer))`
	`1`	`+List(Error(value check is not a member of Unit,compileError("1" * 2).check(""),22,Typer), Error(argument to compileError must be a statically known String but was: augmentString("1").(2),compileError("1" 2).check(""),13,Typer))`