Add testcases

Author: Linyxus

compiler/src/dotty/tools/dotc/config/ScalaSettings.scala

@@ -341,7 +341,7 @@ private sealed trait XSettings:
   val Xdumpclasses: Setting[String] = StringSetting(AdvancedSetting, "Xdump-classes", "dir", "Dump the generated bytecode to .class files (useful for reflective compilation that utilizes in-memory classloaders).", "")
   val XjarCompressionLevel: Setting[Int] = IntChoiceSetting(AdvancedSetting, "Xjar-compression-level", "compression level to use when writing jar files", Deflater.DEFAULT_COMPRESSION to Deflater.BEST_COMPRESSION, Deflater.DEFAULT_COMPRESSION)
   val XkindProjector: Setting[String] = ChoiceSetting(AdvancedSetting, "Xkind-projector", "[underscores, enable, disable]", "Allow `*` as type lambda placeholder to be compatible with kind projector. When invoked as -Xkind-projector:underscores will repurpose `_` to be a type parameter placeholder, this will disable usage of underscore as a wildcard.", List("disable", "", "underscores"), "disable", legacyArgs = true)
-  val XmagicOffsetHeader: Setting[String] = StringSetting(AdvancedSetting, "Xmagic-offset-header", "header", "Specify the magic header comment that marks the start of the actual code in generated wrapper scripts.", "")
+  val XmagicOffsetHeader: Setting[String] = StringSetting(AdvancedSetting, "Xmagic-offset-header", "header", "Specify the magic header comment that marks the start of the actual code in generated wrapper scripts. Example: -Xmagic-offset-header:///SOURCE_CODE_START", "")
 
   /** Documentation related settings */
   val XdropComments: Setting[Boolean] = BooleanSetting(AdvancedSetting, "Xdrop-docs", "Drop documentation when scanning source files.", aliases = List("-Xdrop-comments"))

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

@@ -44,9 +44,10 @@ trait MessageRendering {
     var maxLen = Int.MinValue
     def render(offsetAndLine: (Int, String)): String = {
       val (offset1, line) = offsetAndLine
-      val magicOffset = WrappedSourceFile.locateMagicHeader(pos.source).getOrElse(0)
-      println(i"magicOffset: $magicOffset")
-      val lineNbr = (pos.source.offsetToLine(offset1) + 1 - magicOffset).toString
+      var magicOffset = WrappedSourceFile.locateMagicHeader(pos.source).getOrElse(0)
+      val lineId = pos.source.offsetToLine(offset1)
+      if lineId < magicOffset then magicOffset = 0
+      val lineNbr = (lineId + 1 - magicOffset).toString
       val prefix = String.format(s"%${offset - 2}s |", lineNbr)
       maxLen = math.max(maxLen, prefix.length)
       val lnum = hl(" " * math.max(0, maxLen - prefix.length - 1) + prefix)

tests/neg/magic-offset-header-a.check

@@ -0,0 +1,7 @@
+-- [E007] Type Mismatch Error: tests/neg/magic-offset-header-a.scala:6:19 ----------------------------------------------
+1 |def test1(): Int = "无穷"  // error
+  |                   ^^^^
+  |                   Found:    ("无穷" : String)
+  |                   Required: Int
+  |
+  | longer explanation available when compiling with `-explain`

tests/neg/magic-offset-header-a.scala

@@ -0,0 +1,6 @@
+//> using options -Xmagic-offset-header:///TEST_MARKER
+val t1 = 1
+val t2 = 2
+val t3 = 3
+///TEST_MARKER
+def test1(): Int = "无穷"  // error

tests/neg/magic-offset-header-b.check

@@ -0,0 +1,14 @@
+-- [E007] Type Mismatch Error: tests/neg/magic-offset-header-b.scala:3:13 ----------------------------------------------
+3 |def x: Int = true  // error
+  |             ^^^^
+  |             Found:    (true : Boolean)
+  |             Required: Int
+  |
+  | longer explanation available when compiling with `-explain`
+-- [E007] Type Mismatch Error: tests/neg/magic-offset-header-b.scala:7:13 ----------------------------------------------
+2 |def y: Int = false  // error
+  |             ^^^^^
+  |             Found:    (false : Boolean)
+  |             Required: Int
+  |
+  | longer explanation available when compiling with `-explain`

tests/neg/magic-offset-header-b.scala

@@ -0,0 +1,7 @@
+//> using options -Xmagic-offset-header:///TEST_MARKER
+
+def x: Int = true  // error
+
+///TEST_MARKER
+
+def y: Int = false  // error

tests/neg/magic-offset-header-c.check

@@ -0,0 +1,7 @@
+-- [E007] Type Mismatch Error: tests/neg/magic-offset-header-c.scala:8:18 ----------------------------------------------
+3 |  val x: String = 0  // error
+  |                  ^
+  |                  Found:    (0 : Int)
+  |                  Required: String
+  |
+  | longer explanation available when compiling with `-explain`

tests/neg/magic-offset-header-c.scala

@@ -0,0 +1,8 @@
+//> using options -Xmagic-offset-header:///SOURCE_CODE_START_MARKER
+
+val generatedCode = 123
+
+///SOURCE_CODE_START_MARKER
+
+def userCode =
+  val x: String = 0  // error