Merge pull request #6053 from dotty-staging/tasty-reflect-join-tree-and-typetree

TASTy reflect join Tree, TypeTree, CaseDef and TypeCaseDef

Author: nicolasstucki

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

@@ -88,52 +88,50 @@ TASTy Reflect provides the following types:
 +- Tree -+- PackageClause
          +- Import
          +- Statement -+- Definition --+- PackageDef
-                       |               +- ClassDef
-                       |               +- TypeDef
-                       |               +- DefDef
-                       |               +- ValDef
-                       |
-                       +- Term --------+- Ident
-                                       +- Select
-                                       +- Literal
-                                       +- This
-                                       +- New
-                                       +- NamedArg
-                                       +- Apply
-                                       +- TypeApply
-                                       +- Super
-                                       +- Typed
-                                       +- Assign
-                                       +- Block
-                                       +- Lambda
-                                       +- If
-                                       +- Match
-                                       +- Try
-                                       +- Return
-                                       +- Repeated
-                                       +- Inlined
-                                       +- SelectOuter
-                                       +- While
-
-
-                       +- TypeTree ----+- Synthetic
-                       |               +- Ident
-                       |               +- Select
-                       |               +- Project
-                       |               +- Singleton
-+- TypeOrBoundsTree ---+               +- Refined
-                       |               +- Applied
-                       |               +- Annotated
-                       |               +- MatchType
-                       |               +- ByName
-                       |               +- LambdaTypeTree
-                       |               +- Bind
-                       |
-                       +- TypeBoundsTree
-                       +- SyntheticBounds
-
-+- CaseDef
-+- TypeCaseDef
+         |             |               +- ClassDef
+         |             |               +- TypeDef
+         |             |               +- DefDef
+         |             |               +- ValDef
+         |             |
+         |             +- Term --------+- Ident
+         |                             +- Select
+         |                             +- Literal
+         |                             +- This
+         |                             +- New
+         |                             +- NamedArg
+         |                             +- Apply
+         |                             +- TypeApply
+         |                             +- Super
+         |                             +- Typed
+         |                             +- Assign
+         |                             +- Block
+         |                             +- Lambda
+         |                             +- If
+         |                             +- Match
+         |                             +- Try
+         |                             +- Return
+         |                             +- Repeated
+         |                             +- Inlined
+         |                             +- SelectOuter
+         |                             +- While
+         |
+         +- TypeTree ----+- Synthetic
+         |               +- Ident
+         |               +- Select
+         |               +- Project
+         |               +- Singleton
+         |               +- Refined
+         |               +- Applied
+         |               +- Annotated
+         |               +- MatchType
+         |               +- ByName
+         |               +- LambdaTypeTree
+         |               +- Bind
+         |
+         +- TypeBoundsTree
+         +- SyntheticBounds
+         +- CaseDef
+         +- TypeCaseDef
 
 +- Pattern --+- Value
              +- Bind
@@ -187,8 +185,6 @@ TASTy Reflect provides the following types:
             +- BindSymbol
             +- NoSymbol
 
-Aliases:
- # TermOrTypeTree = Term | TypeTree
 ```
 
 ## More Examples

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

@@ -4,7 +4,6 @@ import scala.tasty.reflect._
 
 abstract class Reflection
     extends Core
-    with CaseDefOps
     with ConstantOps
     with ContextOps
     with CommentOps
@@ -23,7 +22,6 @@ abstract class Reflection
     with SymbolOps
     with TreeOps
     with TreeUtils
-    with TypeOrBoundsTreeOps
     with TypeOrBoundsOps { self =>
 
   def typeOf[T: scala.quoted.Type]: Type =