basic test

Author: pshirshov

library/src/scala/tasty/Reflection.scala

@@ -1821,7 +1821,7 @@ class Reflection(private[scala] val internal: CompilerInterface) { self =>
      *    ThisType(C).baseType(D) = p.D[Int]
      * }}}
      */
-      def baseType(using ctx: Context)(cls: Symbol): Type = internal.Type_baseType(self)(cls)
+      def baseType(cls: Symbol)(using ctx: Context): Type = internal.Type_baseType(self)(cls)
 
       /** Is this type an instance of a non-bottom subclass of the given class `cls`? */
       def derivesFrom(cls: Symbol)(using ctx: Context): Boolean =

tests/run-macros/i8514b.check

@@ -0,0 +1 @@
+List(TypeRef(ThisType(TypeRef(ThisType(TypeRef(NoPrefix,module class <root>)),module class <empty>)),B), AppliedType(TypeRef(ThisType(TypeRef(NoPrefix,module class <empty>)),class A),List(HKTypeLambda(List(T), List(TypeBounds(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),Nothing),TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),Any))), AppliedType(TypeRef(ThisType(TypeRef(ThisType(TypeRef(NoPrefix,module class <root>)),module class <empty>)),P),List(TypeParamRef(T)))), TypeRef(TermRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),Predef),String))), TypeRef(ThisType(TypeRef(NoPrefix,module class lang)),class Object), TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),class Any))

tests/run-macros/i8514b/Macro_1.scala

@@ -0,0 +1,16 @@
+import scala.quoted._
+
+class A[+X[_], -Y]
+class P[T]
+class B extends A[P, String]
+
+inline def test(): Unit = ${ testExpr }
+
+def testExpr(using QuoteContext): Expr[Unit] = {
+  import qctx.tasty._
+
+  val t = '[B].unseal.tpe
+  '{
+    println(${Expr(t.baseClasses.map(b => t.baseType(b).toString))})
+  }
+}

tests/run-macros/i8514b/Test_2.scala

@@ -0,0 +1 @@
+@main def Test = test()