From 4f76439646a1ce156f6a82fc206d0778e3611b0e Mon Sep 17 00:00:00 2001
From: Jan Chyb <jan.chyb.99@gmail.com>
Date: Mon, 30 Sep 2024 17:11:37 +0200
Subject: [PATCH] Do not throw warnings about position for symbols without
 source

---
 .../src/scala/quoted/runtime/impl/QuotesImpl.scala     |  4 +++-
 tests/pos-macros/i21672/Macro_1.scala                  | 10 ++++++++++
 tests/pos-macros/i21672/Test_2.scala                   |  3 +++
 3 files changed, 16 insertions(+), 1 deletion(-)
 create mode 100644 tests/pos-macros/i21672/Macro_1.scala
 create mode 100644 tests/pos-macros/i21672/Test_2.scala

diff --git a/compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala b/compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala
index ce8d19aae46a..fad89ee8d8a2 100644
--- a/compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala
+++ b/compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala
@@ -25,6 +25,7 @@ import scala.quoted.runtime.impl.printers.*
 import scala.reflect.TypeTest
 import dotty.tools.dotc.core.NameKinds.ExceptionBinderName
 import dotty.tools.dotc.transform.TreeChecker
+import dotty.tools.dotc.util.NoSource
 
 object QuotesImpl {
 
@@ -2688,9 +2689,10 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
           if self.exists then
             val symPos = self.sourcePos
             if symPos.exists then Some(symPos)
-            else
+            else if self.source.exists then
               if xCheckMacro then report.warning(s"Missing symbol position (defaulting to position 0): $self\nThis is a compiler bug. Please report it.")
               Some(self.source.atSpan(dotc.util.Spans.Span(0)))
+            else None
           else None
 
         def docstring: Option[String] =
diff --git a/tests/pos-macros/i21672/Macro_1.scala b/tests/pos-macros/i21672/Macro_1.scala
new file mode 100644
index 000000000000..bfe335c3e2d2
--- /dev/null
+++ b/tests/pos-macros/i21672/Macro_1.scala
@@ -0,0 +1,10 @@
+object Repro {
+  inline def apply(): Unit = ${ applyImpl }
+
+  import scala.quoted.*
+  def applyImpl(using q: Quotes): Expr[Unit] = {
+   import q.reflect.*
+   report.info(TypeRepr.of[Some[String]].typeSymbol.pos.toString)
+   '{ () }
+  }
+}
\ No newline at end of file
diff --git a/tests/pos-macros/i21672/Test_2.scala b/tests/pos-macros/i21672/Test_2.scala
new file mode 100644
index 000000000000..b164962100af
--- /dev/null
+++ b/tests/pos-macros/i21672/Test_2.scala
@@ -0,0 +1,3 @@
+//> using options -Xfatal-warnings
+object Test:
+  Repro()