Refactor test cases

Author: zeptometer

tests/neg-custom-args/quoted-pattern-poly/quoted-pattern-with-bounded-type-params.scala

@@ -7,6 +7,5 @@ import scala.quoted.*
 
 def test(body: Expr[Any])(using Quotes): Expr[String] =
   body match
-    case '{ [A <: Int, B] => (x : A, y : A) => $b[A](x, y) : A } => // error
-      '{ $b[String]("truthy", "falsy") }
+    case '{ [A <: Int, B] => (x : A, y : A) => $b[A](x, y) : A } => ??? // error
     case _ => Expr("not matched")

tests/neg-custom-args/quoted-pattern-poly/quoted-pattern-with-type-params.scala

@@ -2,10 +2,7 @@ import scala.quoted.*
 
 def test(body: Expr[Any])(using Quotes): Expr[String] =
   body match
-    case '{ [A] => (x : A) => $b[A] : (A => A) } => // error
-      Expr("A higher-order pattern must carry value params")
-    case '{ [A] => (x : A) => $b(x) : (A => A) } => // error
-      Expr("`A` should be in type arguments because `x` depends on it")
-    case '{ (a:Int) => $b[Int](a) : String } => // error
-      Expr("Type params of a hoas pattern should be introduced inside the quote")
+    case '{ [A] => (x : A) => $b[A] : (A => A) } => ??? // error
+    case '{ [A] => (x : A) => $b(x) : (A => A) } => ??? // error
+    case '{ (a:Int) => $b[Int](a) : String } => ??? // error
     case _ => Expr("not matched")

tests/neg-macros/quoted-pattern-with-bounded-type-params.scala

@@ -8,6 +8,5 @@ import scala.quoted.*
 
 def test(body: Expr[Any])(using Quotes): Expr[String] =
   body match
-    case '{ [A <: Int, B] => (x : A, y : A) => $b[A](x, y) : A } => // error
-      '{ $b[String]("truthy", "falsy") } // error
+    case '{ [A <: Int, B] => (x : A, y : A) => $b[A](x, y) : A } => ??? // error
     case _ => Expr("not matched")

tests/neg-macros/quoted-pattern-with-type-params.scala

@@ -5,10 +5,7 @@ import scala.quoted.*
 
 def test(body: Expr[Any])(using Quotes): Expr[String] =
   body match
-    case '{ [A] => (x : A) => $b[A] : (A => A) } => // error
-      Expr("A higher-order pattern must carry value params")
-    case '{ [A] => (x : A) => $b(x) : (A => A) } => // error
-      Expr("`A` should be in type arguments because `x` depends on it")
-    case '{ (a:Int) => $b[Int](a) : String } => // error
-      Expr("Type params of a hoas pattern should be introduced inside the quote")
+    case '{ [A] => (x : A) => $b[A] : (A => A) } => ??? // error
+    case '{ [A] => (x : A) => $b(x) : (A => A) } => ??? // error
+    case '{ (a:Int) => $b[Int](a) : String } => ??? // error
     case _ => Expr("not matched")