Add ClassDef.basetypes to reflection API

Author: philwalk

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

@@ -247,6 +247,11 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
           optional(self.rhs.asInstanceOf[tpd.Template].self)
         def body: List[Statement] =
           self.rhs.asInstanceOf[tpd.Template].body
+        def baseTypes: List[TypeRepr] = self.symbol match
+          case cls: dotc.core.Symbols.ClassSymbol =>
+            val ref = cls.classDenot.classInfo.appliedRef
+            ref.baseClasses.map(ref.baseType(_))
+          case _ => List()
       end extension
     end ClassDefMethods
 

library/src/scala/quoted/Quotes.scala

@@ -502,6 +502,11 @@ trait Quotes { self: runtime.QuoteUnpickler & runtime.QuoteMatching =>
          *  @syntax markdown
          */
         def body: List[Statement]
+
+        /** Base types of the class */
+        @experimental
+        def baseTypes: List[TypeRepr]
+
       end extension
     end ClassDefMethods
 

project/MiMaFilters.scala

@@ -19,6 +19,8 @@ object MiMaFilters {
     ProblemFilters.exclude[MissingClassProblem]("scala.compiletime.ops.long$"),
     ProblemFilters.exclude[ReversedMissingMethodProblem]("scala.quoted.Quotes#reflectModule#CompilationInfoModule.XmacroSettings"),
     ProblemFilters.exclude[DirectMissingMethodProblem]("scala.quoted.Quotes#reflectModule#CompilationInfoModule.XmacroSettings"),
+    ProblemFilters.exclude[ReversedMissingMethodProblem]("scala.quoted.Quotes#reflectModule#ClassDefMethods.baseTypes"),
+    ProblemFilters.exclude[DirectMissingMethodProblem]("scala.quoted.Quotes#reflectModule#ClassDefMethods.baseTypes"),
 
     // Should have been added in 3.1.0
     // These are only allowed on imports and therefore should not be present in binaries emitted before

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

@@ -79,6 +79,7 @@ trait ClassLikeSupport:
         else Seq(link -> superLink) ++ getSupertypesGraph(superLink, nextTo)
       }
 
+    // TODO use classDef.baseTypes
     val supertypes = getSupertypes(using qctx)(classDef)
       .filterNot((s, t) => s.isHiddenByVisibility)
       .map {

tests/run-macros/baseTypes.check

@@ -0,0 +1,3 @@
+List(scala.Int, scala.AnyVal, scala.Matchable, scala.Any)
+List(java.lang.Object, scala.Matchable, scala.Any)
+List(scala.Some[Some.this.A], scala.Option[Some.this.A], java.io.Serializable, scala.Product, scala.Equals, scala.collection.IterableOnce[Some.this.A], java.lang.Object, scala.Matchable, scala.Any)

tests/run-macros/baseTypes/Macro_1.scala

@@ -0,0 +1,10 @@
+import scala.quoted.*
+
+inline def baseTypes[T]: List[String] =
+  ${ baseTypesExpr[T] }
+
+private def baseTypesExpr[T: Type](using Quotes): Expr[List[String]] =
+  import quotes.reflect.*
+  TypeRepr.of[T].typeSymbol.tree match
+    case cdef: ClassDef => Expr(cdef.baseTypes.map(_.show))
+    case _ => Expr(Nil)

tests/run-macros/baseTypes/Test_2.scala

@@ -0,0 +1,4 @@
+@main def Test: Unit =
+  println(baseTypes[Int])
+  println(baseTypes[Object])
+  println(baseTypes[Some[Int]])