Merge pull request #6541 from dotty-staging/fix-#6535

Fix #6535: Add missing span

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

@@ -122,7 +122,7 @@ class PostTyper extends MacroTransform with IdentityDenotTransformer { thisPhase
         case pkg: PackageClassDenotation =>
           val pobj = pkg.packageObjFor(tree.symbol)
           if (pobj.exists)
-            return transformSelect(cpy.Select(tree)(qual.select(pobj), tree.name), targs)
+            return transformSelect(cpy.Select(tree)(qual.select(pobj).withSpan(qual.span), tree.name), targs)
         case _ =>
       }
       val tree1 = super.transform(tree)

tests/pos-macros/i6535/Macro_1.scala

@@ -0,0 +1,29 @@
+import scala.quoted._
+import scala.tasty._
+
+object scalatest {
+
+  inline def assert(condition: => Boolean): Unit = ${ assertImpl('condition) }
+
+  def assertImpl(cond: Expr[Boolean])(implicit refl: Reflection): Expr[Unit] = {
+    import refl._
+    import util._
+
+    cond.unseal.underlyingArgument match {
+      case t @ Apply(Select(lhs, op), rhs :: Nil) =>
+        let(lhs) { left =>
+          let(rhs) { right =>
+            val app = Select.overloaded(left, op, Nil, right :: Nil)
+            let(app) { result =>
+              val l = left.seal
+              val r = right.seal
+              val b = result.seal.cast[Boolean]
+              val code = '{ scala.Predef.assert($b) }
+              code.unseal
+            }
+          }
+        }.seal.cast[Unit]
+    }
+  }
+
+}

tests/pos-macros/i6535/Test_2.scala

@@ -0,0 +1,9 @@
+object Test {
+  import scalatest._
+
+  def neverRuns(f: => Unit): Boolean = true
+
+  def main(args: Array[String]): Unit = {
+    assert(this.neverRuns(sys.error("Sad times 1")))
+  }
+}