Implement Tree.seal to the library

Author: nicolasstucki

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

@@ -1887,11 +1887,6 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
   // QUOTED SEAL/UNSEAL //
   ////////////////////////
 
-  def QuotedExpr_seal(self: Term)(using ctx: Context): Option[scala.quoted.Expr[Any]] = self.tpe.widen match {
-    case _: Types.MethodType | _: Types.PolyType => None
-    case _ => Some(new scala.internal.quoted.Expr(self, compilerId))
-  }
-
   /** Convert `Type` to an `quoted.Type[?]` */
   def QuotedType_seal(self: Type)(using ctx: Context): scala.quoted.Type[?] = {
     val dummySpan = ctx.owner.span // FIXME

library/src/scala/tasty/Reflection.scala

@@ -621,13 +621,16 @@ class Reflection(private[scala] val internal: CompilerInterface) { self =>
 
     /** Convert `Term` to an `quoted.Expr[Any]` if the term is a valid expression or throws */
     def seal(using ctx: Context): scala.quoted.Expr[Any] =
-      internal.QuotedExpr_seal(self).getOrElse {
+      sealOpt.getOrElse {
         throw new Exception("Cannot seal a partially applied Term. Try eta-expanding the term first.")
       }
 
     /** Convert `Term` to an `quoted.Expr[Any]` if the term is a valid expression */
     def sealOpt(using ctx: Context): Option[scala.quoted.Expr[Any]] =
-      internal.QuotedExpr_seal(self)
+      self.tpe.widen match {
+        case _: MethodType | _: PolyType => None
+        case _ => Some(new scala.internal.quoted.Expr(self, internal.compilerId))
+      }
 
     /** Type of this term */
     def tpe(using ctx: Context): Type = internal.Term_tpe(self)
@@ -1616,7 +1619,7 @@ class Reflection(private[scala] val internal: CompilerInterface) { self =>
 
     /** Convert `Type` to an `quoted.Type[_]` */
     def seal(using ctx: Context): scala.quoted.Type[_] =
-      internal.QuotedType_seal(self)
+      new scala.internal.quoted.Type(Inferred(self), internal.compilerId)
 
     /** Is `self` type the same as `that` type?
      *  This is the case iff `self <:< that` and `that <:< self`.

library/src/scala/tasty/reflect/CompilerInterface.scala

@@ -1432,17 +1432,6 @@ trait CompilerInterface {
   def Flags_Package: Flags
 
 
-  ////////////////////////
-  // QUOTED SEAL/UNSEAL //
-  ////////////////////////
-
-  /** Convert `Term` to an `quoted.Expr[Any]` if the term is a valid expression */
-  def QuotedExpr_seal(self: Term)(using ctx: Context): Option[scala.quoted.Expr[Any]]
-
-  /** Convert `Type` to an `quoted.Type[_]` */
-  def QuotedType_seal(self: Type)(using ctx: Context): scala.quoted.Type[_]
-
-
   /////////////////
   // DEFINITIONS //
   /////////////////