Add regression test (#17389)

Fix #14123

Author: anatoliykmetyuk

tests/neg-macros/i14123a.scala

@@ -0,0 +1,4 @@
+import scala.quoted._
+
+def f(foo: Any => Any)(using Quotes): Expr[Any] =
+  '{ println(${ foo[Int]('{???}); ??? }) } // error

tests/neg-macros/i14123b.scala

@@ -0,0 +1,23 @@
+package x
+
+import scala.quoted._
+
+object Impl {
+
+      sealed trait UpdateOp[+T]
+      case class Assignment[T](value:Expr[T]) extends UpdateOp[T]
+      case class Update(operation:Expr[Unit]) extends UpdateOp[Nothing]
+
+      def genRead[B:Type](newBuilder: Expr[B],
+                          readVal: (Expr[B]) => UpdateOp[B]
+                          )(using Quotes): Expr[B] =
+          '{
+                var x = $newBuilder
+                  ${readVal[B]('x) match { // error: method apply in trait Function1 does not take type parameters
+                    case Assignment(value) => '{ x = $value } // error
+                    case Update(operation) => operation // error
+                  }}
+                x
+          }
+
+}