Show full path for external code without source

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/init/Trace.scala

@@ -60,7 +60,9 @@ object Trace:
       val hasSource = fileExists(pos.source)
       val line =
         if pos.exists then
-          val loc = pos.source.file.name + ":" + (pos.line + 1)
+          // Show more information for external code without source
+          val file = if hasSource then pos.source.file.name else pos.source.file.path
+          val loc = file + ":" + (pos.line + 1)
           val code =
             if hasSource then
               SyntaxHighlighting.highlight(pos.lineContent.trim)

compiler/test/dotty/tools/dotc/CompilationTests.scala

@@ -259,7 +259,7 @@ class CompilationTests {
       val outDirLib = defaultOutputDir + group + "/A/tastySource/A"
 
       // Set -sourceroot such that the source code cannot be found by the compiler
-      val libOptions = tastSourceOptions.and("-sourceroot", "tests/init-global/special/tastySource")
+      val libOptions = tastSourceOptions.and("-sourceroot", "tests/init-global/special")
       val lib = compileFile("tests/init-global/special/tastySource/A.scala", libOptions)(group).keepOutput.checkCompile()
 
       compileFile("tests/init-global/special/tastySource/B.scala", tastSourceOptions.withClasspath(outDirLib))(group).checkWarnings()

tests/init-global/special/tastySource/B.check

@@ -5,8 +5,8 @@
   |Reading mutable state of other static objects is forbidden as it breaks initialization-time irrelevance. Calling trace:
   |├── object B:	[ B.scala:1 ]
   |│   ^
-  |├── (no source)	[ A.scala:2 ]
-  |├── (no source)	[ A.scala:4 ]
+  |├── (no source)	[ tastySource/A.scala:2 ]
+  |├── (no source)	[ tastySource/A.scala:4 ]
   |├── var y = A.foo(bar) * 2	[ B.scala:2 ]
   |│                 ^^^
   |└── def bar = C.n * 3      // warn	[ B.scala:4 ]