blob: eb163a956efaee8caef2e6c095ecdc2b6b1bb0d2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
object Test
{
def f[T](recurse: T => List[T]): List[T] =
{
Nil
}
abstract class M
{ self =>
type Settings
type selfType = M {type Settings = self.Settings}
val v: List[selfType] = f[selfType]((x: selfType) => x.v)
}
abstract class M2
{ self =>
type Settings
type selfType = M2 {type Settings = self.Settings}
def g: List[selfType] = Nil
{
f[selfType](_.g)
}
}
}
|