blob: 1b909fb2ad98df54a2822373ad5ccd605892ecd3 (
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
// I suspect the stack overflow is occurring when the compiler is determining the types for the following line at the end of the file:-
// val data = List(N26,N25)
abstract class A
{
// commenting out the following line (only) leads to successful compilation
protected val data: List[A]
}
trait B[T <: B[T]] extends A { self: T => }
abstract class C extends A
{
// commenting out the following line (only) leads to successful compilation
protected val data: List[C]
}
abstract class D extends C with B[D] {}
abstract class Ee extends C with B[Ee]
{
}
object N1 extends D
{
val data = Nil
}
object N2 extends D
{
val data = Nil
}
object N5 extends D
{
val data = List(N1)
}
object N6 extends D
{
val data = List(N1)
}
object N8 extends D
{
val data = List(N1)
}
object N10 extends D
{
val data = Nil
}
object N13 extends D
{
val data = List(N2)
}
object N14 extends D
{
val data = List(N5,N10,N8)
}
object N15 extends D
{
val data = List(N14)
}
object N16 extends D
{
val data = List(N13,N6,N15)
}
object N17 extends D
{
val data = List(N16)
}
object N21 extends D
{
val data = List(N16)
}
object N22 extends D
{
val data = List(N17)
}
object N25 extends D
{
val data = List(N22)
}
object N26 extends Ee
{
val data = List(N21,N17)
}
// Commenting out the following object (only) leads to successful compilation
object N31 extends Ee
{
// If we use List[C](N26,N25), we achieve successful compilation
val data = List(N26,N25)
}
|