blob: 9b9bd4312ae746d9241893c4ead78e6f932957f1 (
plain) (
blame)
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) =>
}
}
}
|