Test case #15475

This test case first broke when level checking was disabled.

I verified that it compiles OK when Config.checkLevels is set to true.

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
+   }
+
+}