tests/pos/i1590.scala


1
2
3
4
5
6
7
8
9
10

case class W[T](seq: Option[Option[T]] = Option.empty)
object W {
  def apply[T] = new W[T]()
}

case class V[T](vv: W[W[T]] = W.apply)
object Test {
  W[Int]()
  // V[Int]()    fails in scalac and dotty: both instantiate the vv-default to W[Nothing]
}