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 */

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