Survive empty list in handlePositional

odersky · odersky · commit f9fa640d05d0 · 2017-07-26T10:24:42.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Applications.scala b/compiler/src/dotty/tools/dotc/typer/Applications.scala
@@ -284,7 +284,8 @@ trait Applications extends Compatibility { self: Typer with Dynamic =>
           case (arg: NamedArg @unchecked) :: _ =>
             val nameAssocs = for (arg @ NamedArg(name, _) <- args) yield (name, arg)
             handleNamed(pnames, args, nameAssocs.toMap, Set())
-          case arg :: args1 => arg :: handlePositional(pnames.tail, args1)
+          case arg :: args1 =>
+            arg :: handlePositional(if (pnames.isEmpty) Nil else pnames.tail, args1)
           case Nil => Nil
         }
 

Original file line number	Diff line number	Diff line change
`@@ -284,7 +284,8 @@ trait Applications extends Compatibility { self: Typer with Dynamic =>`
`284`	`284`	`case (arg: NamedArg @unchecked) :: _ =>`
`285`	`285`	`val nameAssocs = for (arg @ NamedArg(name, _) <- args) yield (name, arg)`
`286`	`286`	`handleNamed(pnames, args, nameAssocs.toMap, Set())`
`287`		`- case arg :: args1 => arg :: handlePositional(pnames.tail, args1)`
	`287`	`+ case arg :: args1 =>`
	`288`	`+ arg :: handlePositional(if (pnames.isEmpty) Nil else pnames.tail, args1)`
`288`	`289`	`case Nil => Nil`
`289`	`290`	`}`
`290`	`291`