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