test/pos/patterns2.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

trait Option {}
case class Choice(a: Option, b: Option) extends Option;
case class Some(x: java.lang.String) extends Option;
case class None() extends Option;

module test {

  def f(opt: Option) = opt match {
    case Choice(Some("one"), Some(x)) => 1;
    case Choice(Some("two"), None()) => 1;
    case Choice(y, Some("two")) => 2;
    case Choice(Some(z), a) => 3;
    case Some(b) => 4;
    case None() => 5;
  }
}