Make show a proper method of Expr and type

Now that there is a single show implementation we do not need to have it as an extension method

Author: nicolasstucki

library/src/scala/quoted/Expr.scala

@@ -13,22 +13,18 @@ package quoted {
     @deprecated("Use scala.quoted.run", "")
     final def run(implicit toolbox: Toolbox): T = toolbox.run(_ => this)
 
+    /** Show a source code like representation of this expression without syntax highlight */
+    def show(implicit qctx: QuoteContext): String = qctx.show(this, SyntaxHighlight.plain)
+
+    /** Show a source code like representation of this expression */
+    def show(syntaxHighlight: SyntaxHighlight)(implicit qctx: QuoteContext): String = qctx.show(this, syntaxHighlight)
+
   }
 
   object Expr {
 
     import scala.internal.quoted._
 
-    implicit class ExprOps[T](expr: Expr[T]) {
-
-      /** Show a source code like representation of this expression without syntax highlight */
-      def show(implicit qctx: QuoteContext): String = qctx.show(expr, SyntaxHighlight.plain)
-
-      /** Show a source code like representation of this expression */
-      def show(syntaxHighlight: SyntaxHighlight)(implicit qctx: QuoteContext): String = qctx.show(expr, syntaxHighlight)
-
-    }
-
     /** Converts a tuple `(T1, ..., Tn)` to `(Expr[T1], ..., Expr[Tn])` */
     type TupleOfExpr[Tup <: Tuple] = Tuple.Map[Tup, Expr]
 

library/src/scala/quoted/QuoteContext.scala

@@ -12,12 +12,12 @@ import scala.quoted.show.SyntaxHighlight
  */
 class QuoteContext(val tasty: scala.tasty.Reflection) {
 
-  def show[T](expr: Expr[T], syntaxHighlight: SyntaxHighlight): String = {
+  def show(expr: Expr[_], syntaxHighlight: SyntaxHighlight): String = {
     import tasty._
     expr.unseal.show(syntaxHighlight)
   }
 
-  def show[T](tpe: Type[T], syntaxHighlight: SyntaxHighlight): String = {
+  def show(tpe: Type[_], syntaxHighlight: SyntaxHighlight): String = {
     import tasty._
     tpe.unseal.show(syntaxHighlight)
   }

library/src/scala/quoted/Type.scala

@@ -6,21 +6,17 @@ package quoted {
 
   sealed abstract class Type[T <: AnyKind] {
     type `$splice` = T
-  }
-
-  /** Some basic type tags, currently incomplete */
-  object Type {
-
-    implicit class TypeOps[T](tpe: Type[T]) {
 
-      /** Show a source code like representation of this type without syntax highlight */
-      def show(implicit qctx: QuoteContext): String = qctx.show(tpe, SyntaxHighlight.plain)
+    /** Show a source code like representation of this type without syntax highlight */
+    def show(implicit qctx: QuoteContext): String = qctx.show(this, SyntaxHighlight.plain)
 
-      /** Show a source code like representation of this type */
-      def show(syntaxHighlight: SyntaxHighlight)(implicit qctx: QuoteContext): String = qctx.show(tpe, syntaxHighlight)
+    /** Show a source code like representation of this type */
+    def show(syntaxHighlight: SyntaxHighlight)(implicit qctx: QuoteContext): String = qctx.show(this, syntaxHighlight)
 
-    }
+  }
 
+  /** Some basic type tags, currently incomplete */
+  object Type {
     implicit val UnitTag: Type[Unit] = new TaggedType[Unit]
     implicit val BooleanTag: Type[Boolean] = new TaggedType[Boolean]
     implicit val ByteTag: Type[Byte] = new TaggedType[Byte]