diff --git a/compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala b/compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala
index 3cab93f247ae..c27a470b3778 100644
--- a/compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala
+++ b/compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala
@@ -2619,13 +2619,15 @@ 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 memberType(name: String): Symbol =
+          self.typeRef.decls.find(sym => sym.name == name.toTypeName)
         def typeMember(name: String): Symbol =
-          self.unforcedDecls.find(sym => sym.name == name.toTypeName)
+          lookupPrefix.member(name.toTypeName).symbol
 
-        def memberTypes: List[Symbol] = typeMembers
+        def memberTypes: List[Symbol] =
+          self.typeRef.decls.filter(_.isType)
         def typeMembers: List[Symbol] =
-          self.unforcedDecls.filter(_.isType)
+          lookupPrefix.typeMembers.map(_.symbol).toList
 
         def declarations: List[Symbol] =
           self.typeRef.info.decls.toList
diff --git a/library/src/scala/quoted/Quotes.scala b/library/src/scala/quoted/Quotes.scala
index 309e49be1370..2f4439d44a83 100644
--- a/library/src/scala/quoted/Quotes.scala
+++ b/library/src/scala/quoted/Quotes.scala
@@ -3879,17 +3879,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 */
diff --git a/scaladoc/src/dotty/tools/scaladoc/tasty/SyntheticSupport.scala b/scaladoc/src/dotty/tools/scaladoc/tasty/SyntheticSupport.scala
index dabc6468d4c9..b33d5f61faac 100644
--- a/scaladoc/src/dotty/tools/scaladoc/tasty/SyntheticSupport.scala
+++ b/scaladoc/src/dotty/tools/scaladoc/tasty/SyntheticSupport.scala
@@ -49,7 +49,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.
diff --git a/tests/run-macros/i14902.check b/tests/run-macros/i14902.check
new file mode 100644
index 000000000000..9b27fcb7e5dc
--- /dev/null
+++ b/tests/run-macros/i14902.check
@@ -0,0 +1,4 @@
+List(X)
+List(X, Y, Z)
+List(X)
+List(Y, Z)
diff --git a/tests/run-macros/i14902/Macros_1.scala b/tests/run-macros/i14902/Macros_1.scala
new file mode 100644
index 000000000000..d2f2f3cf3a08
--- /dev/null
+++ b/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))
+}
+
+private def declaredTypesExpr[A: Type](using Quotes): Expr[List[String]] = {
+  import quotes.reflect.*
+  val decls = TypeRepr.of[A].typeSymbol.declaredTypes
+  Expr(decls.map(_.name))
+}
diff --git a/tests/run-macros/i14902/Test_2.scala b/tests/run-macros/i14902/Test_2.scala
new file mode 100644
index 000000000000..63b0fb610dc0
--- /dev/null
+++ b/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