Add negative test cases

Author: zeptometer

tests/neg-macros/hoas-pattern-with-type-params-1.scala

@@ -0,0 +1,8 @@
+
+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 _ => Expr("not matched")

tests/neg-macros/hoas-pattern-with-type-params-2.scala

@@ -0,0 +1,12 @@
+/*
+ * Supporting hoas quote pattern with bounded type variable
+ * is future todo.
+ */
+
+import scala.quoted.*
+
+def test(body: Expr[Any])(using Quotes): Expr[String] =
+  body match
+    case '{ [A] => (x : A) => $b[A] : A => A } => // error // error
+      '{ $b[String]("str") } // error
+    case _ => Expr("not matched")