In type assigner for Apply, carry ErrorType's from the fn.

This was already done for `TypeApply` in
cecfb61. We apply the same logic
for `Apply` nodes.

compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala

@@ -297,6 +297,8 @@ trait TypeAssigner {
           else fntpe.resultType // fast path optimization
         else
           errorType(em"wrong number of arguments at ${ctx.phase.prev} for $fntpe: ${fn.tpe}, expected: ${fntpe.paramInfos.length}, found: ${args.length}", tree.srcPos)
+      case err: ErrorType =>
+        err
       case t =>
         if (ctx.settings.Ydebug.value) new FatalError("").printStackTrace()
         errorType(err.takesNoParamsMsg(fn, ""), tree.srcPos)
@@ -563,5 +565,3 @@ object TypeAssigner extends TypeAssigner:
   def seqLitType(tree: untpd.SeqLiteral, elemType: Type)(using Context) = tree match
     case tree: untpd.JavaSeqLiteral => defn.ArrayOf(elemType)
     case _ => if ctx.erasedTypes then defn.SeqType else defn.SeqType.appliedTo(elemType)
-
-

tests/pos/constvalue-of-failed-match-type.scala

@@ -0,0 +1,22 @@
+import scala.compiletime.*
+
+object Inlines:
+  inline def testInline[A](): Boolean =
+    inline erasedValue[A] match
+      case _: Tuple =>
+        constValue[Tuple.Size[A & Tuple]] == 2
+      case _ =>
+        false
+end Inlines
+
+case class Foo2(x: Boolean, y: String)
+case class Foo3(x: Boolean, y: String, z: Int)
+
+object Test:
+  def main(args: Array[String]): Unit =
+    // Note: the assert's don't do anything since it's a pos test; they show intent (and pass if we run the test)
+    assert(!Inlines.testInline[Foo2]())
+    assert(!Inlines.testInline[Foo3]())
+    assert(Inlines.testInline[(Boolean, String)]())
+    assert(!Inlines.testInline[(Boolean, String, Int)]())
+end Test