Fix reflect.LambdaType type test (#16972)

Fixes #16961

Author: smarter

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

@@ -2167,11 +2167,11 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
       end extension
     end PolyTypeMethods
 
-    type TypeLambda = dotc.core.Types.TypeLambda
+    type TypeLambda = dotc.core.Types.HKTypeLambda
 
     object TypeLambdaTypeTest extends TypeTest[TypeRepr, TypeLambda]:
       def unapply(x: TypeRepr): Option[TypeLambda & x.type] = x match
-        case tpe: (Types.TypeLambda & x.type) => Some(tpe)
+        case tpe: (Types.HKTypeLambda & x.type) => Some(tpe)
         case _ => None
     end TypeLambdaTypeTest
 

scaladoc/src/dotty/tools/scaladoc/tasty/TypesSupport.scala

@@ -290,10 +290,10 @@ trait TypesSupport:
         }
         inner(sc) ++ keyword(" match ").l ++ plain("{\n").l ++ casesTexts ++ plain(spaces + "}").l
 
-      case ParamRef(TypeLambda(names, _, _), i) => tpe(names.apply(i)).l
-
       case ParamRef(m: MethodType, i) => tpe(m.paramNames(i)).l ++ plain(".type").l
 
+      case ParamRef(binder: LambdaType, i) => tpe(binder.paramNames(i)).l
+
       case RecursiveType(tp) => inner(tp)
 
       case MatchCase(pattern, rhs) =>

tests/pos-macros/i16961/Macro_1.scala

@@ -0,0 +1,10 @@
+import scala.quoted.*
+
+inline def myMacro = ${ myMacroImpl }
+
+def myMacroImpl(using Quotes) =
+  import quotes.reflect.*
+
+  PolyType(List("arg"))(_ => List(TypeBounds.empty), _ => TypeRepr.of[Any]) match
+    case _: TypeLambda => quotes.reflect.report.errorAndAbort("PolyType should not be a TypeLambda")
+    case _ => '{ () } // Ok

tests/pos-macros/i16961/Test_2.scala

@@ -0,0 +1 @@
+def test = myMacro