Merge pull request #15482 from dotty-staging/test-15475

Test case #15475

Author: odersky

tests/pending/pos/i15475/A.scala

@@ -0,0 +1,16 @@
+// A.scala
+package x
+
+def hello = {
+  xtransform {
+    val a: Seq[Generic[?]] = null
+    a
+      .foreach { to =>
+        to.mthd()
+      }
+  }
+}
+
+trait Generic[+T] {
+  def mthd(): Generic[T] = this
+}

tests/pending/pos/i15475/X.scala

@@ -0,0 +1,17 @@
+package x
+
+import scala.quoted.*
+
+
+transparent inline def xtransform[T](inline expr:T) = ${
+   X.transform('expr)
+}
+
+object X {
+
+   def transform[T:Type](x: Expr[T])(using Quotes):Expr[T] = {
+      import quotes.reflect.*
+      x
+   }
+
+}