path: root/test/files/pos/t1560.scala

object Test extends App {
  
  trait C[T] {
    def t: T
  }
  
  def b: Option[C[x] forSome { type x }] = null
  
  def c = b match {
    case Some(b) => b.t
  }
  
}