Merge pull request #10105 from dotty-staging/use-canonical-quoted-type-representation

Use canonical Type constructor

Author: nicolasstucki

tests/neg-macros/delegate-match-1/Macro_1.scala

@@ -5,7 +5,7 @@ inline def f: Any = ${ fImpl }
 
 private def fImpl(using qctx: QuoteContext): Expr[Unit] = {
   import qctx.reflect._
-  Implicits.search(('[A]).unseal.tpe) match {
+  Implicits.search((Type[A]).unseal.tpe) match {
     case x: ImplicitSearchSuccess =>
       '{}
     case x: DivergingImplicit => '{}

tests/neg-macros/delegate-match-2/Macro_1.scala

@@ -5,7 +5,7 @@ inline def f: Any = ${ fImpl }
 
 private def fImpl (using qctx: QuoteContext) : Expr[Unit] = {
   import qctx.reflect._
-  Implicits.search(('[A]).unseal.tpe) match {
+  Implicits.search((Type[A]).unseal.tpe) match {
     case x: ImplicitSearchSuccess =>
       '{}
     case x: DivergingImplicit => '{}

tests/neg-macros/delegate-match-3/Macro_1.scala

@@ -5,7 +5,7 @@ inline def f: Any = ${ fImpl }
 
 private def fImpl(using qctx: QuoteContext) : Expr[Unit] = {
   import qctx.reflect._
-  Implicits.search(('[A]).unseal.tpe) match {
+  Implicits.search((Type[A]).unseal.tpe) match {
     case x: ImplicitSearchSuccess =>
       '{}
     case x: DivergingImplicit => '{}

tests/neg-macros/i4493-b.scala

@@ -1,7 +1,7 @@
 class Index[K]
 object Index {
   inline def succ[K](x: K): Unit = ${
-    implicit val t: quoted.Type[K] = '[K] // error
+    implicit val t: quoted.Type[K] = Type[K] // error
     '{new Index[K]}
   }
 }

tests/neg-macros/i4493.scala

@@ -1,7 +1,7 @@
 class Index[K]
 object Index {
   inline def succ[K]: Unit = ${
-    implicit val t: quoted.Type[K] = '[K] // error
+    implicit val t: quoted.Type[K] = Type[K] // error
     '{new Index[K]}
   }
 }

tests/neg-macros/i6530.scala

@@ -1,4 +1,4 @@
 object Macros {
-  inline def q : Int = ${ '[ Int ] } // error
+  inline def q : Int = ${ Type[ Int ] } // error
   val x : Int = 1 + q
 }

tests/neg-macros/i6530b.scala

@@ -4,9 +4,9 @@ object Foo {
     val tpe: quoted.Type[Int] = ???
     val expr: quoted.Expr[Int] = ???
 
-    val a: quoted.Expr[Int] = ${ '[Int] } // error
+    val a: quoted.Expr[Int] = ${ Type[Int] } // error
     val b: quoted.Expr[Int] = '{ $tpe } // error
     val c: ${ '{ 43 } } = ???  // error
-    val d: quoted.Type[Int] = '[ $expr ] // error
+    val d: quoted.Type[Int] = Type[ $expr ] // error
   }
 }

tests/neg-macros/i7013.scala

@@ -2,5 +2,5 @@ import quoted._
 
 def foo()(using QuoteContext) = {
   class C
-  '[C] // error
+  Type[C] // error
 }

tests/neg-macros/i7013b.scala

@@ -3,6 +3,6 @@ import quoted._
 class Foo {
   class Bar
   def foo()(using QuoteContext) = {
-    '[Bar] // error
+    Type[Bar] // error
   }
 }

tests/neg-macros/i7013c.scala

@@ -2,5 +2,5 @@ import quoted._
 
 def foo()(using QuoteContext) = {
   type C
-  '[C] // error
+  Type[C] // error
 }