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

object Test {
  val x = Nil
  val x2: Nil.type = x
  val y = None
  val y2: None.type = y
  Console.println("Okay")
}