Replace seal implementation seal

Use `asExprOf[T]` when needed.

Author: nicolasstucki

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

@@ -39,11 +39,7 @@ trait QuotedOpsImpl extends scala.tasty.reflect.QuotedOps with CoreImpl {
   }
 
   def TermToQuoteDeco(term: Term): TermToQuotedAPI = new TermToQuotedAPI {
-
-    def seal[T: scala.quoted.Type](implicit ctx: Context): scala.quoted.Expr[T] =
-      QuotedExprDeco(seal2).asExprOf[T]
-
-    def seal2(implicit ctx: Context): scala.quoted.Expr[Tpe] = {
+    def seal(implicit ctx: Context): scala.quoted.Expr[Tpe] = {
       def etaExpand(term: Term): Term = term.tpe.widen match {
         case mtpe: Types.MethodType if !mtpe.isParamDependent =>
           val closureResType = mtpe.resType match {

library/src-bootstrapped/scala/tasty/reflect/utils/TreeUtils.scala

@@ -9,11 +9,11 @@ trait TreeUtils {
   import reflect._
 
   def let(rhs: Term)(in: Term.Ident => Term): Term = {
-    val rhsExpr = rhs.seal2
+    val rhsExpr = rhs.seal
     val rhsTpe = rhsExpr.tpe
     val expr = '{
       val x: ~rhsTpe = ~rhsExpr
-      ~in(('(x)).unseal.asInstanceOf[Term.Ident]).seal2
+      ~in(('(x)).unseal.asInstanceOf[Term.Ident]).seal
     }
     expr.unseal
   }

library/src/scala/tasty/reflect/QuotedOps.scala

@@ -20,7 +20,10 @@ trait QuotedOps extends Core {
     /** View this expression `Expr[T]` as a `Term` */
     def unseal(implicit ctx: Context): Term
 
-    /** Convert any `Expr[_]` to an `Expr[T]` and check that it conforms to `T` */
+    /** Cast this `Expr` to an `Expr[T]`.
+     *
+     *  Throws if this expression does not conform to `T`.
+     */
     def asExprOf[T: scala.quoted.Type](implicit ctx: Context): scala.quoted.Expr[T]
 
     /** Get the quoted.Type of this expression */
@@ -37,14 +40,11 @@ trait QuotedOps extends Core {
   implicit def QuotedTypeDeco[T](tpe: quoted.Type[T]): QuotedTypeAPI
 
   trait TermToQuotedAPI {
-    /** Convert `Term` to an `Expr[T]` and check that it conforms to `T` */
-    def seal[T: scala.quoted.Type](implicit ctx: Context): scala.quoted.Expr[T]
-
     /** Type of this expression */
     type Tpe
 
     /** Convert `Term` to an `Expr[Tpe]` */
-    def seal2(implicit ctx: Context): scala.quoted.Expr[Tpe]
+    def seal(implicit ctx: Context): scala.quoted.Expr[Tpe]
   }
   implicit def TermToQuoteDeco(term: Term): TermToQuotedAPI
 

tests/neg/tasty-macro-assert/quoted_1.scala

@@ -34,7 +34,7 @@ object Asserts {
 
     tree match {
       case Term.Inlined(_, Nil, Term.Apply(Term.Select(OpsTree(left), op), right :: Nil)) =>
-        '(assertTrue(~left.seal[Boolean])) // Buggy code. To generate the errors
+        '(assertTrue(~left.seal.asExprOf[Boolean])) // Buggy code. To generate the errors
       case _ =>
         '(assertTrue(~cond))
     }

tests/run-with-compiler/tasty-unsafe-let/quoted_1.scala

@@ -7,16 +7,15 @@ object Macros {
   inline def let[T](rhs: T)(body: => T => Unit): Unit =
     ~impl('(rhs), '(body))
 
-  private def impl[T](rhs: Expr[T], body: Expr[T => Unit])(implicit reflect: Reflection): Expr[Unit] = {
+  private def impl[T: Type](rhs: Expr[T], body: Expr[T => Unit])(implicit reflect: Reflection): Expr[Unit] = {
     import reflect._
 
     val rhsTerm = rhs.unseal
 
     import reflect.util.{let => letTerm}
     letTerm(rhsTerm) { rhsId =>
-      body(rhsId.seal[Any].asInstanceOf[Expr[T]]).unseal // Dangerous uncheked cast!
-    }.seal[Unit]
+      body(rhsId.seal.asExprOf[T]).unseal
+    }.seal.asExprOf[Unit]
   }
 
-
 }

tests/run/f-interpolation-1/FQuote_1.scala

@@ -14,7 +14,7 @@ object FQuote {
 
     def liftListOfAny(lst: List[Term]): Expr[List[Any]] = lst match {
       case x :: xs  =>
-        val head = x.seal[Any]
+        val head: Expr[Any] = x.seal
         val tail = liftListOfAny(xs)
         '{ ~head :: ~tail }
       case Nil => '(Nil)

tests/run/i5533/Macro_1.scala

@@ -13,7 +13,7 @@ object scalatest {
 
     val tree = condition.unseal
 
-    val expr = tree.seal[Boolean]
+    val expr = tree.seal.asExprOf[Boolean]
 
     '(println(~expr))
   }

tests/run/i5533b/Macro_1.scala

@@ -16,8 +16,8 @@ object scalatest {
 
     tree.underlyingArgument match {
       case Term.Apply(Term.Select(lhs, op), rhs :: Nil) =>
-        val left = lhs.seal[Any]
-        val right = rhs.seal[Any]
+        val left: Expr[Any] = lhs.seal
+        val right: Expr[Any] = rhs.seal
         op match {
           case "==" =>
         '{

tests/run/i5536/Macro_1.scala

@@ -13,8 +13,8 @@ object scalatest {
 
     tree.underlyingArgument match {
       case Term.Apply(Term.Select(lhs, op), rhs :: Nil) =>
-        val left = lhs.seal[Any]
-        val right = rhs.seal[Any]
+        val left: Expr[Any] = lhs.seal
+        val right: Expr[Any] = rhs.seal
         op match {
           case "===" =>
             '{

tests/run/reflect-select-copy/assert_1.scala

@@ -12,7 +12,7 @@ object scalatest {
     cond.unseal.underlyingArgument match {
       case Term.Apply(sel @ Term.Select(lhs, op), rhs :: Nil) =>
         val Term.IsSelect(select) = sel
-        val cond = Term.Apply(Term.Select.copy(select)(lhs, ">"), rhs :: Nil).seal[Boolean]
+        val cond = Term.Apply(Term.Select.copy(select)(lhs, ">"), rhs :: Nil).seal.asExprOf[Boolean]
         '{ scala.Predef.assert(~cond) }
       case _ =>
         '{ scala.Predef.assert(~cond) }