Update error message header

Author: nicolasstucki

compiler/src/dotty/tools/dotc/reporting/MessageRendering.scala

@@ -114,9 +114,9 @@ trait MessageRendering {
     */
   def posStr(pos: SourcePosition, diagnosticLevel: String, message: Message)(implicit ctx: Context): String =
     if (pos.exists) hl(diagnosticLevel)({
+      val pos1 = pos.nonInlined
       val file =
-        if (pos.source.file.exists) s"${pos.source.file.toString}:${pos.line + 1}:${pos.column}"
-        else s"${pos.source.file.toString}: offset ${pos.start} (missing source file)"
+        s"${pos1.source.file.toString}:${pos1.line + 1}:${pos1.column}"
       val errId =
         if (message.errorId ne ErrorMessageID.NoExplanationID) {
           val errorNumber = message.errorId.errorNumber

project/scripts/cmdTests

@@ -50,7 +50,7 @@ cp tests/neg/i6371/B_2.scala $OUT/B.scala
 "$SBT" "dotc $OUT/A.scala -d $OUT1"
 rm $OUT/A.scala
 "$SBT" "dotc -classpath $OUT1 -d $OUT1 $OUT/B.scala" > "$tmp" 2>&1 || echo "ok"
-grep -qe "A.scala: offset 63 (missing source file)" "$tmp"
+grep -qe "B.scala:2:7" "$tmp"
 
 
 ## Disabled because of flakeyness, should be changed to not depend on sbt

tests/neg/cannot-reduce-inline-match.check

@@ -1,4 +1,4 @@
--- Error: tests/neg/cannot-reduce-inline-match.scala:3:13 --------------------------------------------------------------
+-- Error: tests/neg/cannot-reduce-inline-match.scala:9:5 ---------------------------------------------------------------
 9 |  foo("f") // error
   |  ^^^^^^^^
   |  cannot reduce inline match with

tests/neg/inline-error-pos.check

@@ -1,4 +1,4 @@
--- Error: tests/neg/inline-error-pos.scala:3:11 ------------------------------------------------------------------------
+-- Error: tests/neg/inline-error-pos.scala:8:13 ------------------------------------------------------------------------
 8 |  val b = foo(2) // error
   |          ^^^^^^
   |          cannot reduce inline match with