Merge pull request #11800 from dotty-staging/fix-#9684

Widen Skolem type in reflection

compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala

@@ -366,7 +366,7 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
           if self.isExpr then Some(new ExprImpl(self, SpliceScope.getCurrent))
           else None
 
-        def tpe: TypeRepr = self.tpe
+        def tpe: TypeRepr = self.tpe.widenSkolem
         def underlyingArgument: Term = new tpd.TreeOps(self).underlyingArgument
         def underlying: Term = new tpd.TreeOps(self).underlying
         def etaExpand(owner: Symbol): Term = self.tpe.widen match {

tests/pos-macros/i9684/Macro_1.scala

@@ -0,0 +1,16 @@
+import scala.quoted._
+
+object X {
+
+  inline def printType[A](inline x: A): String = ${
+    printTypeImpl[A]('x)
+  }
+
+  def printTypeImpl[A:Type](x:Expr[A])(using Quotes): Expr[String] = {
+    import quotes.reflect._
+    val value: String = x.asTerm.tpe.show
+    println(value)
+    Expr( value )
+  }
+
+}

tests/pos-macros/i9684/Test_2.scala

@@ -0,0 +1,7 @@
+import scala.concurrent._
+import scala.concurrent.duration._
+import scala.language.postfixOps
+
+@main def Test: Unit =
+  val latch = Vector.fill(10)(Future successful 10)
+  X.printType( { Await.ready(latch(3) , 1 second) } )