test/files/pos/t4593.scala


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

// ticket #4593
trait A {

  class B
  case object D extends B

  class C {

    var x: B = D

    def y = synchronized {
      x match {
        case D => {}
      }
    }

  }

}