Update check files

Author: zeptometer

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

@@ -1,12 +1,6 @@
--- Error: tests/neg-macros/quoted-pattern-with-bounded-type-params.scala:10:48 -----------------------------------------
-10 |    case '{ [A <: Int, B] => (x : A, y : A) => $b[A](x, y) : A } => // error
+-- Error: tests/neg-macros/quoted-pattern-with-bounded-type-params-regression.scala:11:48 ------------------------------
+11 |    case '{ [A <: Int, B] => (x : A, y : A) => $b[A](x, y) : A } => ??? // error
    |                                                ^
    |                                                Type must be fully defined.
    |                                                Consider annotating the splice using a type ascription:
    |                                                  (${b}: XYZ).
--- [E006] Not Found Error: tests/neg-macros/quoted-pattern-with-bounded-type-params.scala:11:10 ------------------------
-11 |      '{ $b[String]("truthy", "falsy") } // error
-   |          ^
-   |          Not found: b
-   |
-   | longer explanation available when compiling with `-explain`

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

@@ -1,4 +1,4 @@
--- Error: tests/neg-custom-args/quoted-pattern-poly/quoted-pattern-with-bounded-type-params.scala:10:50 ----------------
-10 |    case '{ [A <: Int, B] => (x : A, y : A) => $b[A](x, y) : A } => ??? // error
+-- Error: tests/neg-macros/quoted-pattern-with-bounded-type-params.scala:11:50 -----------------------------------------
+11 |    case '{ [A <: Int, B] => (x : A, y : A) => $b[A](x, y) : A } => ??? // error
    |                                                  ^
    |                       Implementation restriction: Type arguments to Open pattern are expected to have no bounds

tests/neg-macros/quoted-pattern-with-type-params-regression.check

@@ -1,14 +1,14 @@
--- Error: tests/neg-macros/quoted-pattern-with-type-params.scala:8:31 --------------------------------------------------
+-- Error: tests/neg-macros/quoted-pattern-with-type-params-regression.scala:8:31 ---------------------------------------
 8 |    case '{ [A] => (x : A) => $b[A] : (A => A) } => ??? // error
   |                               ^
   |                               Type must be fully defined.
   |                               Consider annotating the splice using a type ascription:
   |                                 (${b}: XYZ).
--- Error: tests/neg-macros/quoted-pattern-with-type-params.scala:9:33 --------------------------------------------------
+-- Error: tests/neg-macros/quoted-pattern-with-type-params-regression.scala:9:33 ---------------------------------------
 9 |    case '{ [A] => (x : A) => $b(x) : (A => A) } => ??? // error
   |                                 ^
   |                                Type variables that this argument depends on are not captured in this hoas pattern
--- Error: tests/neg-macros/quoted-pattern-with-type-params.scala:10:24 -------------------------------------------------
+-- Error: tests/neg-macros/quoted-pattern-with-type-params-regression.scala:10:24 --------------------------------------
 10 |    case '{ (a:Int) => $b[Int](a) : String } => ??? // error
    |                        ^
    |                        Type must be fully defined.

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

@@ -1,12 +1,12 @@
--- Error: tests/neg-custom-args/quoted-pattern-poly/quoted-pattern-with-type-params.scala:5:32 -------------------------
-5 |    case '{ [A] => (x : A) => $b[A] : (A => A) } => ??? // error
+-- Error: tests/neg-macros/quoted-pattern-with-type-params.scala:6:32 --------------------------------------------------
+6 |    case '{ [A] => (x : A) => $b[A] : (A => A) } => ??? // error
   |                              ^^^^^
   |                              Implementation restriction: A higher-order pattern must carry value arguments
--- Error: tests/neg-custom-args/quoted-pattern-poly/quoted-pattern-with-type-params.scala:6:33 -------------------------
-6 |    case '{ [A] => (x : A) => $b(x) : (A => A) } => ??? // error
+-- Error: tests/neg-macros/quoted-pattern-with-type-params.scala:7:33 --------------------------------------------------
+7 |    case '{ [A] => (x : A) => $b(x) : (A => A) } => ??? // error
   |                                 ^
   |                                Type variables that this argument depends on are not captured in this hoas pattern
--- Error: tests/neg-custom-args/quoted-pattern-poly/quoted-pattern-with-type-params.scala:7:26 -------------------------
-7 |    case '{ (a:Int) => $b[Int](a) : String } => ??? // error
+-- Error: tests/neg-macros/quoted-pattern-with-type-params.scala:8:26 --------------------------------------------------
+8 |    case '{ (a:Int) => $b[Int](a) : String } => ??? // error
   |                          ^^^
   |                          Type arguments of a hoas pattern needs to be defined inside the quoted pattern