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
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
|
// https://issues.dlang.org/show_bug.cgi?id=22292
// Original case
class C1
{
C1 c1;
this () pure
{
c1 = this;
}
}
immutable x = cast(immutable)r;
auto r()
{
C1 c1 = new C1;
return c1;
}
// Reference stored in another class
template Test2()
{
class C1
{
C2 c2;
this () pure
{
C1 a = this;
c2 = new C2(a);
}
}
class C2
{
C1 c1;
this (C1 c) pure
{
c1 = c;
}
}
immutable x = cast(immutable)r;
auto r()
{
C1 c1 = new C1();
return c1;
}
}
alias test2 = Test2!();
// Ditto but using a struct in the middle
template Test3()
{
class C0
{
S1 s1;
this()
{
s1 = S1(this);
}
}
struct S1
{
C1 c1;
this (C0 c)
{
c1 = new C1(c);
}
}
class C1
{
C0 c0;
this(C0 c)
{
c0 = c;
}
}
immutable x = cast(immutable)r;
auto r()
{
C0 c0 = new C0();
return c0;
}
}
alias test3 = Test3!();
// From https://issues.dlang.org/show_bug.cgi?id=22114
template Test4()
{
public class Test1(T)
{
private Test2!T val;
this()
{
val = new Test2!T(this);
}
private class Test2(T)
{
private Test1!(T) m_source;
this(Test1!T source)
{
m_source = source;
}
}
}
public class Demo
{
auto val = new Test1!int();
}
}
alias test4 = Test4!();
// ditto
template Test5()
{
public @nogc class TestA(T)
{
private TestB!T valA;
private TestB!T valB;
this()
{
valB = valA = new TestB!T(this);
}
private @nogc class TestB(T)
{
private TestA!(T) m_source;
this(TestA!T source)
{
m_source = source;
}
}
}
public class Demo
{
auto val = new TestA!int();
}
}
alias test5 = Test5!();
|
