Fix #5188: See through annotations when computing argument types.

See through annotations (and typevars) when computing argument types.

Author: odersky

compiler/src/dotty/tools/dotc/core/TypeApplications.scala

@@ -461,7 +461,7 @@ class TypeApplications(val self: Type) extends AnyVal {
    *  otherwise return Nil.
    *  Existential types in arguments are returned as TypeBounds instances.
    */
-  final def argInfos(implicit ctx: Context): List[Type] = self match {
+  final def argInfos(implicit ctx: Context): List[Type] = self.stripTypeVar.stripAnnots match {
     case AppliedType(tycon, args) => args
     case _ => Nil
   }

tests/pos/i5188.scala

@@ -0,0 +1,4 @@
+object Test {
+  inline def sum(inline args: Int*): Int = 0
+  sum(1, 2, 3)
+}