blob: 7a3d2729830bb78cdd14412d179e16c08581b934 (
plain) (
blame)
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)
}
|