test/files/pos/sammy_single.scala


1
2
3
4
5
6
7
8
9

// test that dependent types work
// TODO: def apply(x: String): x.type does NOT work yet
object Test {
  val s: String = ""

  trait T { def apply(x: s.type): s.type }

  val preservedResult: s.type = ((x => x): T)(s)
}