test/files/pos/bug1560.scala


1
2
3
4
5
6
7
8
9
10
11

object Test extends App {
  trait C[T] {
    def t: T
  }

  def b: Option[C[_]] = null

  def c = b match {
    case Some(b) => b.t
  }
}