tests/patmat/t9351.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

trait A {}
case object B extends A {}
case object C extends A {}

class X {
  def good = {
    val a: A = B
    a match {
      case B =>
      case C =>
    }
  }

  def bad = {
    val a: A = B
    val o: Option[Int] = None
    (a, o) match {
      case (B, None) =>
      case (B, Some(_)) =>
      case (C, None) =>
      case (C, Some(_)) =>
    }
  }

  def alsoGood = {
    val a: A = B
    val b: A = C
    (a, b) match {
      case (B, B) =>
      case (B, C) =>
      case (C, B) =>
      case (C, C) =>
    }
  }
}