test/files/pos/pos-bug1210.scala


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)
        }
    }
}