aboutsummaryrefslogtreecommitdiff
path: root/tests/invalid/pos/t3856.scala
blob: 8dfcccb5a8f10c69f97d846d04c332b14075e5da (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
case class C[T](x: T)

case class CS(xs: C[_]*)

// t3856
object Test {
  val x = CS(C(5), C("abc")) match { case CS(C(5), xs : _*) => xs }
    // Invalid: Vararg pattern cannot be split between normal and :_* patterns.
    // This split also does not work for vararg arguments, so there's no
    // good argument it should work for patterns
  println(x)

  def foo(xs: Int*) = ()
  val xs = List(1, 2, 3)
  foo(1, xs:_*)
}