Merge pull request #8961 from dotty-staging/fix-#8514

Fix #8514: Add Reflection.Type.baseClasses

Author: anatoliykmetyuk

compiler/src/dotty/tools/dotc/tastyreflect/ReflectionCompilerInterface.scala

@@ -1198,6 +1198,9 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
   def Type_memberType(self: Type)(member: Symbol)(using ctx: Context): Type =
     member.info.asSeenFrom(self, member.owner)
 
+  def Type_baseClasses(self: Type)(using ctx: Context): List[Symbol] =
+    self.baseClasses
+
   def Type_derivesFrom(self: Type)(cls: Symbol)(using ctx: Context): Boolean =
     self.derivesFrom(cls)
 

library/src/scala/tasty/Reflection.scala

@@ -1646,6 +1646,9 @@ class Reflection(private[scala] val internal: CompilerInterface) { self =>
     def isSingleton(using ctx: Context): Boolean = internal.Type_isSingleton(self)
     def memberType(member: Symbol)(using ctx: Context): Type = internal.Type_memberType(self)(member)
 
+    /** The base classes of this type with the class itself as first element. */
+    def baseClasses(using ctx: Context): List[Symbol] = internal.Type_baseClasses(self)
+
     /** Is this type an instance of a non-bottom subclass of the given class `cls`? */
     def derivesFrom(cls: Symbol)(using ctx: Context): Boolean =
       internal.Type_derivesFrom(self)(cls)

library/src/scala/tasty/reflect/CompilerInterface.scala

@@ -871,6 +871,9 @@ trait CompilerInterface {
 
   def Type_memberType(self: Type)(member: Symbol)(using ctx: Context): Type
 
+  /** The base classes of this type with the class itself as first element. */
+  def Type_baseClasses(self: Type)(using ctx: Context): List[Symbol]
+
   /** Is this type an instance of a non-bottom subclass of the given class `cls`? */
   def Type_derivesFrom(self: Type)(cls: Symbol)(using ctx: Context): Boolean
 

tests/run-macros/i8514.check

@@ -0,0 +1,4 @@
+List(class Object, class Any)
+List(class A, class Object, class Any)
+List(class B, class A, class Object, class Any)
+List(class C, class B, class A, class Object, class Any)

tests/run-macros/i8514/Macro_1.scala

@@ -0,0 +1,18 @@
+import scala.quoted._
+
+class A
+class B extends A
+class C extends B
+
+inline def test(): Unit = ${ testExpr }
+
+def testExpr(using QuoteContext): Expr[Unit] = {
+  import qctx.tasty._
+
+  '{
+    println(${Expr('[Object].unseal.tpe.baseClasses.toString)})
+    println(${Expr('[A].unseal.tpe.baseClasses.toString)})
+    println(${Expr('[B].unseal.tpe.baseClasses.toString)})
+    println(${Expr('[C].unseal.tpe.baseClasses.toString)})
+  }
+}

tests/run-macros/i8514/Test_2.scala

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