t578.scala « pos « tests - dotty - Research platform for new language concepts and compiler technologies for Scala.

about summary refs log tree commit diff

path: root/tests/pos/t578.scala

blob: 6f95dd8cea7c1903c3a31ee896d6cc7bd0512d74 (plain) (blame)

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