blob: 8feedc20f42417cb29a75cd40474730c3b6b6c60 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
object Foo {
object X { def unapply(x : Int)(y : Option[Int] = None) = None }
42 match { case _ X _ => () }
}
object Foo2 {
object X { def unapply(x : Int)(y: Int) = Some((2,2)) }
42 match { case _ X _ => () }
}
object Foo3 {
object X { def unapply(x : String)(y: String) = Some((2,2)) }
"" match { case _ X _ => () }
}
|