test/files/pos/t482.scala


1
2
3
4
5
6
7

object Test {
  class Foo { val z = "foo"; val y : z.type = z }

  val x : ({ val y : z.type } forSome { val z : String }) = new Foo

  val x2 : ({ val y : T } forSome { type T <: String with Singleton }) = new Foo
}