Fix #7781: Avoid using nested package definition for Type

Had to remove `sealed` from `Type`

Author: nicolasstucki

library/src/scala/internal/quoted/TreeType.scala

@@ -0,0 +1,14 @@
+package scala.internal.quoted
+
+/** An Type backed by a tree */
+final class TreeType[Tree](val typeTree: Tree, val scopeId: Int) extends scala.quoted.Type[Any] {
+  override def equals(that: Any): Boolean = that match {
+    case that: TreeType[_] => typeTree ==
+      // TastyTreeExpr are wrappers around trees, therfore they are equals if their trees are equal.
+      // All scopeId should be equal unless two different runs of the compiler created the trees.
+      that.typeTree && scopeId == that.scopeId
+    case _ => false
+  }
+  override def hashCode: Int = typeTree.hashCode
+  override def toString: String = s"Type(<tasty tree>)"
+}

library/src/scala/quoted/Type.scala

@@ -1,86 +1,69 @@
-package scala
+package scala.quoted
 
-package quoted {
-  import scala.quoted.show.SyntaxHighlight
+import scala.quoted.show.SyntaxHighlight
 
-  sealed trait Type[T <: AnyKind] {
-    type `$splice` = T
+/** Quoted type (or kind) `T`
+ *
+ *  Restriction: only the QuoteContext implementation is allowed to extend this trait.
+ *  Any other implementation will result in an undefined behavior.
+ */
+trait Type[T <: AnyKind] {
+  type `$splice` = T
 
-    /** Show a source code like representation of this type without syntax highlight */
-    def show(given qctx: QuoteContext): String = qctx.show(this, SyntaxHighlight.plain)
+  /** Show a source code like representation of this type without syntax highlight */
+  def show(given qctx: QuoteContext): String = qctx.show(this, SyntaxHighlight.plain)
 
-    /** Show a source code like representation of this type */
-    def show(syntaxHighlight: SyntaxHighlight)(given qctx: QuoteContext): String = qctx.show(this, syntaxHighlight)
+  /** Show a source code like representation of this type */
+  def show(syntaxHighlight: SyntaxHighlight)(given qctx: QuoteContext): String = qctx.show(this, syntaxHighlight)
 
+}
+
+/** Some basic type tags, currently incomplete */
+object Type {
+
+  given UnitTag(given qctx: QuoteContext): Type[Unit] = {
+    import qctx.tasty.{_, given}
+    defn.UnitType.seal.asInstanceOf[quoted.Type[Unit]]
   }
 
-  /** Some basic type tags, currently incomplete */
-  object Type {
-
-    given UnitTag(given qctx: QuoteContext): Type[Unit] = {
-      import qctx.tasty.{_, given}
-      defn.UnitType.seal.asInstanceOf[quoted.Type[Unit]]
-    }
-
-    given BooleanTag(given qctx: QuoteContext): Type[Boolean] = {
-      import qctx.tasty.{_, given}
-      defn.BooleanType.seal.asInstanceOf[quoted.Type[Boolean]]
-    }
-
-    given ByteTag(given qctx: QuoteContext): Type[Byte] = {
-      import qctx.tasty.{_, given}
-      defn.ByteType.seal.asInstanceOf[quoted.Type[Byte]]
-    }
-
-    given CharTag(given qctx: QuoteContext): Type[Char] = {
-      import qctx.tasty.{_, given}
-      defn.CharType.seal.asInstanceOf[quoted.Type[Char]]
-    }
-
-    given ShortTag(given qctx: QuoteContext): Type[Short] = {
-      import qctx.tasty.{_, given}
-      defn.ShortType.seal.asInstanceOf[quoted.Type[Short]]
-    }
-
-    given IntTag(given qctx: QuoteContext): Type[Int] = {
-      import qctx.tasty.{_, given}
-      defn.IntType.seal.asInstanceOf[quoted.Type[Int]]
-    }
-
-    given LongTag(given qctx: QuoteContext): Type[Long] = {
-      import qctx.tasty.{_, given}
-      defn.LongType.seal.asInstanceOf[quoted.Type[Long]]
-    }
-
-    given FloatTag(given qctx: QuoteContext): Type[Float] = {
-      import qctx.tasty.{_, given}
-      defn.FloatType.seal.asInstanceOf[quoted.Type[Float]]
-    }
-
-    given DoubleTag(given qctx: QuoteContext): Type[Double] = {
-      import qctx.tasty.{_, given}
-      defn.DoubleType.seal.asInstanceOf[quoted.Type[Double]]
-    }
+  given BooleanTag(given qctx: QuoteContext): Type[Boolean] = {
+    import qctx.tasty.{_, given}
+    defn.BooleanType.seal.asInstanceOf[quoted.Type[Boolean]]
+  }
 
+  given ByteTag(given qctx: QuoteContext): Type[Byte] = {
+    import qctx.tasty.{_, given}
+    defn.ByteType.seal.asInstanceOf[quoted.Type[Byte]]
   }
 
-}
+  given CharTag(given qctx: QuoteContext): Type[Char] = {
+    import qctx.tasty.{_, given}
+    defn.CharType.seal.asInstanceOf[quoted.Type[Char]]
+  }
+
+  given ShortTag(given qctx: QuoteContext): Type[Short] = {
+    import qctx.tasty.{_, given}
+    defn.ShortType.seal.asInstanceOf[quoted.Type[Short]]
+  }
+
+  given IntTag(given qctx: QuoteContext): Type[Int] = {
+    import qctx.tasty.{_, given}
+    defn.IntType.seal.asInstanceOf[quoted.Type[Int]]
+  }
 
-package internal {
-  package quoted {
-
-    /** An Type backed by a tree */
-    final class TreeType[Tree](val typeTree: Tree, val scopeId: Int) extends scala.quoted.Type[Any] {
-      override def equals(that: Any): Boolean = that match {
-        case that: TreeType[_] => typeTree ==
-          // TastyTreeExpr are wrappers around trees, therfore they are equals if their trees are equal.
-          // All scopeId should be equal unless two different runs of the compiler created the trees.
-          that.typeTree && scopeId == that.scopeId
-        case _ => false
-      }
-      override def hashCode: Int = typeTree.hashCode
-      override def toString: String = s"Type(<tasty tree>)"
-    }
+  given LongTag(given qctx: QuoteContext): Type[Long] = {
+    import qctx.tasty.{_, given}
+    defn.LongType.seal.asInstanceOf[quoted.Type[Long]]
+  }
 
+  given FloatTag(given qctx: QuoteContext): Type[Float] = {
+    import qctx.tasty.{_, given}
+    defn.FloatType.seal.asInstanceOf[quoted.Type[Float]]
   }
+
+  given DoubleTag(given qctx: QuoteContext): Type[Double] = {
+    import qctx.tasty.{_, given}
+    defn.DoubleType.seal.asInstanceOf[quoted.Type[Double]]
+  }
+
 }