Add missing type bind symbol

Author: nicolasstucki

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

@@ -14,6 +14,7 @@ object FromSymbol {
     assert(sym.exists)
     if (sym.is(Package)) packageDefFromSym(sym)
     else if (sym.isClass) classDef(sym.asClass)
+    else if (sym.isType && sym.is(Case)) typeBindFromSym(sym.asType)
     else if (sym.isType) typeDefFromSym(sym.asType)
     else if (sym.is(Method)) defDefFromSym(sym.asTerm)
     else if (sym.is(Case)) bindFromSym(sym.asTerm)
@@ -54,4 +55,9 @@ object FromSymbol {
     case tree: tpd.Bind => tree
     case tpd.EmptyTree => tpd.Bind(sym, untpd.Ident(nme.WILDCARD).withType(sym.typeRef))
   }
+
+  def typeBindFromSym(sym: TypeSymbol)(implicit ctx: Context): tpd.Bind = sym.defTree match {
+    case tree: tpd.Bind => tree
+    case tpd.EmptyTree => tpd.Bind(sym, untpd.Ident(nme.WILDCARD).withType(sym.typeRef))
+  }
 }

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

@@ -1514,6 +1514,14 @@ class KernelImpl(val rootContext: core.Contexts.Context, val rootPosition: util.
   def TypeDefSymbol_isTypeParam(self: TypeDefSymbol)(implicit ctx: Context): Boolean =
     self.isTypeParam
 
+  type TypeBindSymbol = core.Symbols.TypeSymbol
+
+  def matchTypeBindSymbol(symbol: Symbol)(implicit ctx: Context): Option[TypeBindSymbol] =
+    if (symbol.isType && symbol.is(core.Flags.Case)) Some(symbol.asType) else None
+
+  def TypeBindSymbol_tree(self: TypeBindSymbol)(implicit ctx: Context): TypeTree_TypeBind =
+    FromSymbol.typeBindFromSym(self)
+
   type DefDefSymbol = core.Symbols.TermSymbol
 
   def matchDefDefSymbol(symbol: Symbol)(implicit ctx: Context): Option[DefDefSymbol] =

docs/docs/reference/other-new-features/tasty-reflect.md

@@ -180,6 +180,7 @@ TASTy Reflect provides the following types:
 +- Symbol --+- PackageDefSymbol
             +- ClassDefSymbol
             +- TypeDefSymbol
+            +- TypeBindSymbol
             +- DefDefSymbol
             +- ValDefSymbol
             +- BindSymbol

library/src/scala/tasty/reflect/Core.scala

@@ -103,6 +103,7 @@ package scala.tasty.reflect
  *  +- Symbol --+- PackageDefSymbol
  *              +- ClassDefSymbol
  *              +- TypeDefSymbol
+ *              +- TypeBindSymbol
  *              +- DefDefSymbol
  *              +- ValDefSymbol
  *              +- BindSymbol
@@ -426,6 +427,9 @@ trait Core {
     /** Symbol of a type (parameter or member) definition. */
     type TypeDefSymbol = kernel.TypeDefSymbol
 
+    /** Symbol representing a type bind definition. */
+    type TypeBindSymbol = kernel.TypeBindSymbol
+
     /** Symbol representing a method definition. */
     type DefDefSymbol = kernel.DefDefSymbol
 

library/src/scala/tasty/reflect/Kernel.scala

@@ -102,6 +102,7 @@ package scala.tasty.reflect
  *  +- Symbol --+- PackageDefSymbol
  *              +- ClassDefSymbol
  *              +- TypeDefSymbol
+ *              +- TypeBindSymbol
  *              +- DefDefSymbol
  *              +- ValDefSymbol
  *              +- BindSymbol
@@ -1222,6 +1223,14 @@ trait Kernel {
   /** TypeDef tree of this definition */
   def TypeDefSymbol_tree(self: TypeDefSymbol)(implicit ctx: Context): TypeDef
 
+  /** Symbol representing a bind definition. */
+  type TypeBindSymbol <: Symbol
+
+  def matchTypeBindSymbol(symbol: Symbol)(implicit ctx: Context): Option[TypeBindSymbol]
+
+  /** TypeBind pattern of this definition */
+  def TypeBindSymbol_tree(self: TypeBindSymbol)(implicit ctx: Context): TypeTree_TypeBind
+
   /** Symbol representing a method definition. */
   type DefDefSymbol <: Symbol
 

library/src/scala/tasty/reflect/SymbolOps.scala

@@ -171,6 +171,19 @@ trait SymbolOps extends Core {
       kernel.TypeDefSymbol_isTypeParam(self)
   }
 
+  // TypeBindSymbol
+
+  object IsTypeBindSymbol {
+    def unapply(symbol: Symbol)(implicit ctx: Context): Option[TypeBindSymbol] =
+      kernel.matchTypeBindSymbol(symbol)
+  }
+
+  implicit class TypeBindSymbolAPI(self: TypeBindSymbol) {
+    /** TypeBind pattern of this definition */
+    def tree(implicit ctx: Context): TypeTree.TypeBind =
+      kernel.TypeBindSymbol_tree(self)
+  }
+
   // DefSymbol
 
   object IsDefDefSymbol {