blob: e2ab9874e34e06546601b9eee801c60b5277aa0f (
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
|
trait A
trait B
class C extends A with B
case class D()
object X {
def unapply(x: B): Boolean = false
}
object Test {
def main(args: Array[String]) = {
val ca: A = new C
ca match {
case x: B =>
case X() =>
case D() => // error: neither a subtype not a supertype
}
val cc = new C
cc match {
case x: B =>
case X() =>
case D() => // error: neither a subtype not a supertype
}
}
}
|