Add testcase with contravariant type params

Author: zeptometer

tests/run-custom-args/quoted-pattern-poly/quote-match-poly-function.check

@@ -4,3 +4,4 @@ case 4 matched => truthy
 case 5 matchd => 1
 case 7 matchd => 1
 case 8 matched => (1,str)
+case 9 matched => zero

tests/run-custom-args/quoted-pattern-poly/quote-match-poly-function/Macro_1.scala

@@ -17,4 +17,6 @@ def testExprImpl1(body: Expr[Any])(using Quotes): Expr[String] =
       '{ "case 7 matchd => " + $a[Int](List(1, 2, 3), 2) }
     case '{ [A] => (x : A) => [B] => (y : B) => $a[A, B](x, y) : (A, B) } =>
       '{ "case 8 matched => " + $a[Int, String](1, "str")}
+    case '{ [A, B] => (x : Map[A, B], y: A) => $a[A, B](x, y) : Option[B] } =>
+      '{ "case 9 matched => " + $a[Int, String](Map(0 -> "zero", 1 -> "one"), 0).getOrElse("failed") }
     case _ => Expr("not matched")

tests/run-custom-args/quoted-pattern-poly/quote-match-poly-function/Test_2.scala

@@ -5,3 +5,4 @@
     println(testExpr([C, D] => (x : C, f : C => D) => f(x))) // Should match case 4
     println(testExpr([B] => (x : List[B], y : B) => x.indexOf(y))) // Should match case 7
     println(testExpr([B] => (x : B) => [C] => (y : C) => (x, y))) // Should match case 8
+    println(testExpr([C, D] => (x : Map[C, D], y: C) => x.get(y)))