Implement TASTy reflect constructors

Author: nicolasstucki

compiler/src/dotty/tools/dotc/ast/Trees.scala

@@ -960,13 +960,13 @@ object Trees {
      * so that they selectively retype themselves. Retyping needs a context.
      */
     abstract class TreeCopier {
-      def postProcess(tree: Tree, copied: untpd.Tree): copied.ThisTree[T]
-      def postProcess(tree: Tree, copied: untpd.MemberDef): copied.ThisTree[T]
+      protected def postProcess(tree: Tree, copied: untpd.Tree): copied.ThisTree[T]
+      protected def postProcess(tree: Tree, copied: untpd.MemberDef): copied.ThisTree[T]
 
-      def finalize(tree: Tree, copied: untpd.Tree): copied.ThisTree[T] =
+      protected def finalize(tree: Tree, copied: untpd.Tree): copied.ThisTree[T] =
         postProcess(tree, copied.withPos(tree.pos).withAttachmentsFrom(tree))
 
-      def finalize(tree: Tree, copied: untpd.MemberDef): copied.ThisTree[T] =
+      protected def finalize(tree: Tree, copied: untpd.MemberDef): copied.ThisTree[T] =
         postProcess(tree, copied.withPos(tree.pos).withAttachmentsFrom(tree))
 
       def Ident(tree: Tree)(name: Name): Ident = tree match {

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

@@ -10,6 +10,10 @@ trait CaseDefOpsImpl extends scala.tasty.reflect.CaseDefOps with CoreImpl with H
   }
 
   object CaseDef extends CaseDefExtractor {
+    def apply(pat: Pattern, guard: Option[Term], body: Term)(implicit ctx: Context): CaseDef = ???
+
+    def copy(original: CaseDef)(pat: Pattern, guard: Option[Term], body: Term)(implicit ctx: Context): CaseDef = ???
+
     def unapply(x: CaseDef): Some[(Pattern, Option[Term], Term)] = Some(x.pat, optional(x.guard), x.body)
   }
 

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

@@ -24,6 +24,28 @@ trait CoreImpl extends scala.tasty.reflect.Core {
         type DefDef = tpd.DefDef
         type ValDef = tpd.ValDef
       type Term = tpd.Tree
+        type Ref = tpd.RefTree
+          type Ident = tpd.Ident
+          type Select = tpd.Select
+        type Literal = tpd.Literal
+        type This = tpd.This
+        type New = tpd.New
+        type NamedArg = tpd.NamedArg
+        type Apply = tpd.Apply
+        type TypeApply = tpd.TypeApply
+        type Super = tpd.Super
+        type Typed = tpd.Typed
+        type Assign = tpd.Assign
+        type Block = tpd.Block
+        type Lambda = tpd.Closure
+        type If = tpd.If
+        type Match = tpd.Match
+        type Try = tpd.Try
+        type Return = tpd.Return
+        type Repeated = tpd.SeqLiteral
+        type Inlined = tpd.Inlined
+        type SelectOuter = Nothing
+        type While = tpd.WhileDo
 
   type CaseDef = tpd.CaseDef
   type TypeCaseDef = tpd.CaseDef