Fix reflect typeMembers to return all members

Fixes #14902

Author: nicolasstucki

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

@@ -2619,13 +2619,19 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
             case sym if sym.isType => sym.asType
           }.toList
 
-        def memberType(name: String): Symbol = typeMember(name)
-        def typeMember(name: String): Symbol =
+        def memberType(name: String): Symbol =
           self.unforcedDecls.find(sym => sym.name == name.toTypeName)
+        def typeMember(name: String): Symbol =
+          lookupPrefix.allMembers.iterator.map(_.symbol).collect {
+            case sym if sym.isType && sym.name.toString == name => sym.asType
+          }.toList.headOption.getOrElse(dotc.core.Symbols.NoSymbol)
 
-        def memberTypes: List[Symbol] = typeMembers
-        def typeMembers: List[Symbol] =
+        def memberTypes: List[Symbol] =
           self.unforcedDecls.filter(_.isType)
+        def typeMembers: List[Symbol] =
+          lookupPrefix.allMembers.iterator.map(_.symbol).collect {
+            case sym if sym.isType => sym.asType
+          }.toList
 
         def declarations: List[Symbol] =
           self.typeRef.info.decls.toList

library/src/scala/quoted/Quotes.scala

@@ -3885,17 +3885,17 @@ trait Quotes { self: runtime.QuoteUnpickler & runtime.QuoteMatching =>
         def declaredTypes: List[Symbol]
 
         /** Type member with the given name directly declared in the class */
-        @deprecated("Use typeMember", "3.1.0")
+        @deprecated("Use declaredType or typeMember", "3.1.0")
         def memberType(name: String): Symbol
 
-        /** Type member with the given name directly declared in the class */
+        /** Type member with the given name declared or inherited in the class */
         def typeMember(name: String): Symbol
 
         /** Type member directly declared in the class */
-        @deprecated("Use typeMembers", "3.1.0")
+        @deprecated("Use declaredTypes or typeMembers", "3.1.0")
         def memberTypes: List[Symbol]
 
-        /** Type member directly declared in the class */
+        /** Type member directly declared or inherited in the class */
         def typeMembers: List[Symbol]
 
         /** All members directly declared in the class */

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

@@ -38,7 +38,7 @@ object SyntheticsSupport:
     c.symbol.typeRef.baseClasses.map(b => b -> c.symbol.typeRef.baseType(b)).tail
 
   def typeForClass(using Quotes)(c: reflect.ClassDef): reflect.TypeRepr =
-    c.symbol.typeRef.appliedTo(c.symbol.typeMembers.filter(_.isTypeParam).map(_.typeRef))
+    c.symbol.typeRef.appliedTo(c.symbol.declaredTypes.filter(_.isTypeParam).map(_.typeRef))
 
   /* We need there to filter out symbols with certain flagsets, because these symbols come from compiler and TASTY can't handle them well.
     They are valdefs that describe case companion objects and cases from enum.

tests/run-macros/i14902.check

@@ -0,0 +1,4 @@
+List(X)
+List(X, Y, Z)
+List(X)
+List(Y, Z)

tests/run-macros/i14902/Macros_1.scala

@@ -0,0 +1,16 @@
+import scala.quoted.*
+
+inline def typeMembers[A]: List[String] = ${ typeMembersExpr[A] }
+inline def declaredTypes[A]: List[String] = ${ declaredTypesExpr[A] }
+
+private def typeMembersExpr[A: Type](using Quotes): Expr[List[String]] = {
+  import quotes.reflect.*
+  val members = TypeRepr.of[A].typeSymbol.typeMembers
+  Expr(members.map(_.name).sorted) // TODO: make typeMembers return stable result
+}
+
+private def declaredTypesExpr[A: Type](using Quotes): Expr[List[String]] = {
+  import quotes.reflect.*
+  val decls = TypeRepr.of[A].typeSymbol.declaredTypes
+  Expr(decls.map(_.name).sorted) // TODO: make declaredTypes return stable result
+}

tests/run-macros/i14902/Test_2.scala

@@ -0,0 +1,12 @@
+@main def Test: Unit =
+  println(typeMembers[A])
+  println(typeMembers[B])
+  println(declaredTypes[A])
+  println(declaredTypes[B])
+
+class A:
+  type X
+
+class B extends A:
+  type Y
+  type Z