Merge pull request #14222 from dotty-staging/fix-#14180

Support quoted PolyFunction

Author: smarter

compiler/src/dotty/tools/dotc/quoted/PickledQuotes.scala

@@ -91,11 +91,6 @@ object PickledQuotes {
               val quotedType = typeHole(idx, reifiedArgs)
               PickledQuotes.quotedTypeToTree(quotedType)
           }
-        case tree: Select =>
-          // Retain selected members
-          val qual = transform(tree.qualifier)
-          qual.select(tree.symbol).withSpan(tree.span)
-
         case tree =>
           if tree.isDef then
             tree.symbol.annotations = tree.symbol.annotations.map {

tests/pos-macros/i14180/Macro_1.scala

@@ -0,0 +1,3 @@
+import scala.quoted._
+def impl(using Quotes): Expr[Unit] =
+  '{ ([V] => (v: V) => println(v)).apply[Int](2) }

tests/pos-macros/i14180/Test_2.scala

@@ -0,0 +1,2 @@
+inline def foo = ${ impl }
+def example = foo