blob: 12ce8fa88e7cd770b7e236a1a208e3a87130060b (
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
36
37
|
class Outer {
case class Inner()
val inner: Inner = new Inner
def checkInstance(o: Outer) =
o.inner.isInstanceOf[this.Inner]
def checkPattern1(i: Any) =
i match {
case _: Inner => true
case _ => false
}
def checkPattern2(i: Any) =
i match {
case Inner() => true
case _ => false
}
def checkEquals(o: Outer) =
o.inner == inner
}
object Test {
def main(args: Array[String]) = {
val o1 = new Outer
val o2 = new Outer
assert(o1.checkInstance(o2)) // ok
assert(!o1.checkPattern1(o2.inner)) // ok under scalac, fails for dotc-compiled code
assert(!o1.checkPattern2(o2.inner)) // ok under scalac, fails for dotc-compiled code
assert(!o1.checkEquals(o2)) // ok under scalac, fails for dotc-compiled code
}
}
|