1 2 3 4 5 6 7 8 9 10 11 12 13
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 } }