added test for case, decribed in #10053

Author: rssh

tests/run-macros/tasty-overload-secondargs.check

@@ -0,0 +1,2 @@
+partialFunction
+partialFunction

tests/run-macros/tasty-overload-secondargs/Macro_1.scala

@@ -0,0 +1,42 @@
+
+import scala.quoted._
+
+object X:
+
+  def andThen[A,B](a:A)(f: A => B): B =
+     println("totalFunction")
+     f(a)
+
+  def andThen[A,B](a:A)(f: PartialFunction[A,B]): Option[B] =
+     println("partialFunction")
+     f.lift.apply(a)
+
+
+
+object Macro {
+
+    inline def mThen[A,B](inline x:A=>B):B = ${
+       mThenImpl[A,B,A=>B,B]('x)
+    }
+
+    inline def mThen[A,B](inline x:PartialFunction[A,B]): Option[B] = ${
+       mThenImpl[A,B,PartialFunction[A,B],Option[B]]('x)
+    }
+    
+
+    def mThenImpl[A:Type, B:Type, S<:(A=>B) :Type, R:Type](x:Expr[S])(using qctx: QuoteContext):Expr[R]=
+       import qctx.reflect._
+       val fun = '{X}.unseal
+       val wildcard = TypeBounds(quoted.Type[Nothing].unseal.tpe, quoted.Type[Any].unseal.tpe)
+       val returnType = quoted.Type[(S) => ?].unseal.tpe
+       val firstPart = Select.overloaded(fun,"andThen",
+                                 List(TypeIdent(defn.IntClass).tpe, TypeIdent(defn.IntClass).tpe),
+                                 List(Literal(Constant.Int(1))),
+                                 quoted.Type[(S) => R].unseal.tpe
+                       )
+       val r = Apply(firstPart,List(x.unseal))
+       r.seal.cast[R]
+       
+      
+
+}

tests/run-macros/tasty-overload-secondargs/Test_2.scala

@@ -0,0 +1,12 @@
+
+
+
+object Test:
+
+ def main(args:Array[String]):Unit =
+    val x1 = X.andThen(1){case x if (x%2 == 0) => x}
+    val x2 = Macro.mThen{case x:Int if (x%2 == 0) => x}
+
+
+
+