Relativize path in SourceFile annotation

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/PostTyper.scala

@@ -335,7 +335,11 @@ class PostTyper extends MacroTransform with IdentityDenotTransformer { thisPhase
                && ctx.compilationUnit.source.exists
                && sym != defn.SourceFileAnnot
             then
-              sym.addAnnotation(Annotation.makeSourceFile(ctx.compilationUnit.source.file.path))
+              val jpath = ctx.compilationUnit.source.file.jpath.normalize
+              val sourceRoot = java.nio.file.Paths.get(".").toAbsolutePath.normalize
+              val relativePath =
+                if jpath.isAbsolute then sourceRoot.relativize(jpath) else jpath
+              sym.addAnnotation(Annotation.makeSourceFile(relativePath.toString))
           else (tree.rhs, sym.info) match
             case (rhs: LambdaTypeTree, bounds: TypeBounds) =>
               VarianceChecker.checkLambda(rhs, bounds)