Page MenuHomePhabricator
Differential D18621 Diff 44752 src/parser/xhpast/__tests__/data/return-type.php.test

Changeset View

Standalone View

View Options

src/parser/xhpast/__tests__/data/return-type.php.test

<?php <?php
function a(): string { } function a(): string {}
function b(): array { } function b(): array {}
function c(): callable { } function c(): callable {}
function d(): ?string {}
function e(): void {}
// TODO: This shouldn't technically be allowed as it will cause a fatal error.
function f(): ?void {}
class a { class a {
function b(): string { } function b(): string {}
function c(): array { } function c(): array {}
function d(): callable { } function d(): callable {}
} }
$funcs = [ $funcs = [
function (): string { }, function (): string {},
function (): array { }, function (): array {},
function (): callable { }, function (): callable {},
function (): ?string {},
function (): void {},
static function (): string { }, static function (): string {},
static function (): array { }, static function (): array {},
static function (): callable { }, static function (): callable {},
static function (): ?string {},
static function (): void {},
]; ];
~~~~~~~~~~ ~~~~~~~~~~
pass pass
~~~~~~~~~~ ~~~~~~~~~~
{ {
"tree": [ "tree": [
9000, 9000,
0, 0,
180, 261,
[ [
[ [
9006, 9006,
0, 0,
179, 260,
[ [
[ [
9007, 9007,
0, 0,
0 0
], ],
[ [
9004, 9004,
2, 2,
13, 12,
[ [
[ [
9050, 9050,
2, 2,
13, 12,
[ [
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9013, 9013,
4, 4,
4 4
], ],
[ [
9059, 9059,
5, 5,
6 6
], ],
[ [
9005 9005
], ],
[ [
9115,
9,
9,
[
[
9005
],
[
9090, 9090,
9, 9,
9 9
]
]
], ],
[ [
9006, 9006,
11, 11,
13 12
] ]
] ]
] ]
] ]
], ],
[ [
9004, 9004,
15, 14,
26, 24,
[ [
[ [
9050, 9050,
15, 14,
26, 24,
[ [
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9013, 9013,
17, 16,
17 16
], ],
[ [
9059, 9059,
18, 17,
19 18
],
[
9005
], ],
[ [
9115,
21,
21,
[
[
9005 9005
], ],
[ [
9061, 9061,
22, 21,
22 21
]
]
], ],
[ [
9006, 9006,
24, 23,
26 24
] ]
] ]
] ]
] ]
], ],
[ [
9004, 9004,
28, 26,
39, 36,
[ [
[ [
9050, 9050,
28, 26,
39, 36,
[ [
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9013, 9013,
30, 28,
30 28
], ],
[ [
9059, 9059,
31, 29,
32 30
],
[
9005
], ],
[ [
9115,
33,
33,
[
[
9005 9005
], ],
[ [
9061, 9061,
35, 33,
35 33
]
]
], ],
[ [
9006, 9006,
37, 35,
39 36
] ]
] ]
] ]
] ]
], ],
[ [
9004, 9004,
41, 38,
86, 49,
[
[
9051,
41,
86,
[ [
[ [
9052, 9050,
41, 38,
41 49,
],
[ [
9090,
43,
43
],
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9006, 9013,
45, 40,
86, 40
[ ],
[
9004,
47,
58,
[
[
9067,
47,
58,
[
[ [
9068 9059,
41,
42
], ],
[ [
9005 9005
], ],
[ [
9013, 9115,
49, 45,
49 46,
],
[ [
9059,
50,
51
],
[ [
9005 0,
45,
45
], ],
[ [
9090, 9090,
54, 46,
54 46
]
]
], ],
[ [
9006, 9006,
56, 48,
58 49
] ]
] ]
] ]
] ]
], ],
[ [
9004, 9004,
60, 51,
71, 61,
[ [
[ [
9067, 9050,
60, 51,
71, 61,
[ [
[ [
9068 9005
], ],
[ [
9005 9005
], ],
[ [
9013, 9013,
62, 53,
62 53
], ],
[ [
9059, 9059,
63, 54,
64 55
], ],
[ [
9005 9005
], ],
[ [
9061, 9115,
67, 58,
67 58,
[
[
9005
],
[
9090,
58,
58
]
]
], ],
[ [
9006, 9006,
69, 60,
71 61
] ]
] ]
] ]
] ]
], ],
[ [
9004, 9004,
73, 64,
84, 75,
[ [
[ [
9067, 9050,
73, 64,
84, 75,
[ [
[ [
9068 9005
], ],
[ [
9005 9005
], ],
[ [
9013, 9013,
75, 66,
75 66
], ],
[ [
9059, 9059,
76, 67,
77 68
], ],
[ [
9005 9005
], ],
[ [
9061, 9115,
80, 71,
80 72,
[
[
0,
71,
71
], ],
[ [
9006, 9090,
82, 72,
84 72
]
]
]
]
] ]
] ]
],
[
9006,
74,
75
] ]
] ]
] ]
] ]
], ],
[ [
9004, 9004,
88, 77,
179, 119,
[ [
[ [
9077, 9051,
88, 77,
178, 119,
[ [
[ [
9047, 9052,
88, 77,
88 77
], ],
[ [
9081, 9090,
90, 79,
90 79
], ],
[ [
9082, 9005
92, ],
178,
[
[ [
9093, 9005
92, ],
178,
[ [
9006,
81,
119,
[ [
9094,
94,
104,
[ [
9004,
83,
93,
[ [
9005
],
[ [
9050, 9067,
94, 83,
104, 93,
[ [
[ [
9005 9068
], ],
[ [
9005 9005
], ],
[ [
9005 9013,
85,
85
], ],
[ [
9059, 9059,
96, 86,
97 87
],
[
9005
], ],
[ [
9115,
90,
90,
[
[
9005 9005
], ],
[ [
9090, 9090,
100, 90,
100 90
]
]
], ],
[ [
9006, 9006,
102, 92,
104 93
] ]
] ]
] ]
] ]
], ],
[ [
9094, 9004,
107, 95,
117, 105,
[
[ [
9005
],
[ [
9050, 9067,
107, 95,
117, 105,
[ [
[ [
9005 9068
], ],
[ [
9005 9005
], ],
[ [
9005 9013,
97,
97
], ],
[ [
9059, 9059,
109, 98,
110 99
],
[
9005
], ],
[ [
9115,
102,
102,
[
[
9005 9005
], ],
[ [
9061, 9061,
113, 102,
113 102
]
]
], ],
[ [
9006, 9006,
115, 104,
117 105
] ]
] ]
] ]
] ]
], ],
[ [
9094, 9004,
120, 107,
130, 117,
[
[ [
9005
],
[ [
9050, 9067,
120, 107,
130, 117,
[ [
[ [
9005 9068
], ],
[ [
9005 9005
], ],
[ [
9005 9013,
109,
109
], ],
[ [
9059, 9059,
122, 110,
123 111
],
[
9005
], ],
[ [
9115,
114,
114,
[
[
9005 9005
], ],
[ [
9061, 9061,
126, 114,
126 114
]
]
], ],
[ [
9006, 9006,
128, 116,
130 117
] ]
] ]
] ]
] ]
], ]
[ ]
9094, ]
133, ]
145, ]
]
],
[
9004,
121,
260,
[
[
9077,
121,
259,
[
[
9047,
121,
121
],
[
9081,
123,
123
],
[
9082,
125,
259,
[
[
9093,
125,
259,
[
[
9094,
127,
136,
[ [
[ [
9005 9005
], ],
[ [
9050, 9050,
127,
136,
[
[
9005
],
[
9005
],
[
9005
],
[
9059,
129,
130
],
[
9005
],
[
9115,
133,
133, 133,
145,
[ [
[ [
9013, 9005
],
[
9090,
133, 133,
133 133
]
]
],
[
9006,
135,
136
]
]
]
]
],
[
9094,
139,
148,
[
[
9005
], ],
[ [
9050,
139,
148,
[
[
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9059, 9059,
137, 141,
138 142
], ],
[ [
9005 9005
], ],
[ [
9090, 9115,
141, 145,
141 145,
[
[
9005
], ],
[ [
9006, 9061,
143, 145,
145 145
] ]
] ]
],
[
9006,
147,
148
]
]
] ]
] ]
], ],
[ [
9094, 9094,
148, 151,
160,
[
[
9005
],
[
9050,
151,
160, 160,
[ [
[ [
9005 9005
], ],
[ [
9050, 9005
148, ],
160, [
9005
],
[
9059,
153,
154
],
[
9005
],
[
9115,
157,
157,
[
[
9005
],
[
9061,
157,
157
]
]
],
[
9006,
159,
160
]
]
]
]
],
[
9094,
163,
173,
[
[
9005
],
[
9050,
163,
173,
[
[
9005
],
[
9005
],
[
9005
],
[
9059,
165,
166
],
[
9005
],
[
9115,
169,
170,
[
[
0,
169,
169
],
[
9090,
170,
170
]
]
],
[
9006,
172,
173
]
]
]
]
],
[
9094,
176,
185,
[
[
9005
],
[
9050,
176,
185,
[
[
9005
],
[
9005
],
[
9005
],
[
9059,
178,
179
],
[
9005
],
[
9115,
182,
182,
[
[
9005
],
[
9090,
182,
182
]
]
],
[
9006,
184,
185
]
]
]
]
],
[
9094,
188,
199,
[
[
9005
],
[
9050,
188,
199,
[
[
9013,
188,
188
],
[
9005
],
[
9005
],
[
9005
],
[
9059,
192,
193
],
[
9005
],
[
9115,
196,
196,
[
[
9005
],
[
9090,
196,
196
]
]
],
[
9006,
198,
199
]
]
]
]
],
[
9094,
202,
213,
[
[
9005
],
[
9050,
202,
213,
[
[
9013,
202,
202
],
[
9005
],
[
9005
],
[
9005
],
[
9059,
206,
207
],
[
9005
],
[
9115,
210,
210,
[
[
9005
],
[
9061,
210,
210
]
]
],
[
9006,
212,
213
]
]
]
]
],
[
9094,
216,
227,
[
[
9005
],
[
9050,
216,
227,
[
[
9013,
216,
216
],
[
9005
],
[
9005
],
[
9005
],
[
9059,
220,
221
],
[
9005
],
[
9115,
224,
224,
[
[
9005
],
[
9061,
224,
224
]
]
],
[
9006,
226,
227
]
]
]
]
],
[
9094,
230,
242,
[
[
9005
],
[
9050,
230,
242,
[
[
9013,
230,
230
],
[
9005
],
[
9005
],
[
9005
],
[
9059,
234,
235
],
[
9005
],
[
9115,
238,
239,
[
[
0,
238,
238
],
[
9090,
239,
239
]
]
],
[
9006,
241,
242
]
]
]
]
],
[
9094,
245,
256,
[
[
9005
],
[
9050,
245,
256,
[
[
9013,
245,
245
],
[
9005
],
[
9005
],
[
9005
],
[
9059,
249,
250
],
[
9005
],
[
9115,
253,
253,
[
[
9005
],
[
9090,
253,
253
]
]
],
[
9006,
255,
256
]
]
]
]
]
]
]
]
]
]
]
]
]
]
]
]
],
"stream": [
[
373,
5
],
[
377,
2
],
[
339,
8
],
[
377,
1
],
[
311,
1
],
[
40,
1
],
[
41,
1
],
[
58,
1
],
[
377,
1
],
[
311,
6
],
[
377,
1
],
[
123,
1
],
[
125,
1
],
[
377,
2
],
[
339,
8
],
[
377,
1
],
[
311,
1
],
[
40,
1
],
[
41,
1
],
[
58,
1
],
[
377,
1
],
[
365,
5
],
[
377,
1
],
[
123,
1
],
[
125,
1
],
[
377,
2
],
[
339,
8
],
[
377,
1
],
[
311,
1
],
[
40,
1
],
[
41,
1
],
[
58,
1
],
[
377,
1
],
[
391,
8
],
[
377,
1
],
[
123,
1
],
[
125,
1
],
[
377,
2
],
[
339,
8
],
[
377,
1
],
[
311,
1
],
[
40,
1
],
[
41,
1
],
[
58,
1
],
[
377,
1
],
[
63,
1
],
[
311,
6
],
[
377,
1
],
[
123,
1
],
[
125,
1
],
[
377,
2
],
[
339,
8
],
[
377,
1
],
[
311,
1
],
[
40,
1
],
[
41,
1
],
[
58,
1
],
[
377,
1
],
[
311,
4
],
[ [
377,
1
],
[ [
9013, 123,
148, 1
148
], ],
[ [
9005 125,
1
], ],
[ [
9005 377,
2
], ],
[ [
9005 371,
79
], ],
[ [
9059, 339,
152, 8
153
], ],
[ [
9005 377,
1
], ],
[ [
9061, 311,
156, 1
156
], ],
[ [
9006, 40,
158, 1
160
]
]
]
]
], ],
[ [
9094, 41,
163, 1
175, ],
[ [
58,
1
],
[ [
9005 377,
1
], ],
[ [
9050, 63,
163, 1
175, ],
[ [
311,
4
],
[ [
9013, 377,
163, 1
163
], ],
[ [
9005 123,
1
], ],
[ [
9005 125,
1
], ],
[ [
9005 377,
2
], ],
[ [
9059, 358,
167, 5
168
], ],
[ [
9005 377,
1
], ],
[ [
9061, 311,
171, 1
171
], ],
[ [
9006, 377,
173, 1
175
]
]
]
]
]
]
]
]
]
]
]
]
]
]
]
]
], ],
"stream": [
[ [
373, 123,
5 1
], ],
[ [
377, 377,
2 3
], ],
[ [
339, 339,
8 8
], ],
[ [
377, 377,
1 1
Show All 26 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377,
1
],
[
125, 125,
1 1
], ],
[ [
377, 377,
2 3
], ],
[ [
339, 339,
8 8
], ],
[ [
377, 377,
1 1
Show All 26 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377,
1
],
[
125, 125,
1 1
], ],
[ [
377, 377,
2 3
], ],
[ [
339, 339,
8 8
], ],
[ [
377, 377,
1 1
Show All 26 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
125,
1
],
[
377, 377,
1 1
], ],
[ [
125, 125,
1 1
], ],
[ [
377, 377,
2 2
], ],
[ [
358, 313,
5 6
], ],
[ [
377, 377,
1 1
], ],
[ [
311, 61,
1 1
], ],
[ [
377, 377,
1 1
], ],
[ [
123, 91,
1 1
], ],
[ [
377, 377,
3 3
], ],
[ [
339, 339,
8 8
], ],
[ [
377, 377,
1 1
], ],
[ [
311,
1
],
[
40, 40,
1 1
], ],
[ [
41, 41,
1 1
], ],
[ [
Show All 12 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377, 125,
1 1
], ],
[ [
125, 44,
1 1
], ],
[ [
377, 377,
3 3
], ],
[ [
339, 339,
8 8
], ],
[ [
377, 377,
1 1
], ],
[ [
311,
1
],
[
40, 40,
1 1
], ],
[ [
41, 41,
1 1
], ],
[ [
Show All 12 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377, 125,
1 1
], ],
[ [
125, 44,
1 1
], ],
[ [
377, 377,
3 3
], ],
[ [
339, 339,
8 8
], ],
[ [
377, 377,
1 1
], ],
[ [
311,
1
],
[
40, 40,
1 1
], ],
[ [
41, 41,
1 1
], ],
[ [
Show All 12 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377, 125,
1 1
], ],
[ [
125, 44,
1 1
], ],
[ [
377, 377,
3
],
[
339,
8
],
[
377,
1 1
], ],
[ [
125, 40,
1
],
[
41,
1
],
[
58,
1 1
], ],
[ [
377, 377,
2 1
], ],
[ [
313, 63,
1
],
[
311,
6 6
], ],
[ [
377, 377,
1 1
], ],
[ [
61, 123,
1 1
], ],
[ [
377, 125,
1 1
], ],
[ [
91, 44,
1 1
], ],
[ [
377, 377,
3 3
], ],
[ [
339, 339,
Show All 16 Lines [
1 1
], ],
[ [
377, 377,
1 1
], ],
[ [
311, 311,
6 4
], ],
[ [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377,
1
],
[
125, 125,
1 1
], ],
[ [
44, 44,
1 1
], ],
[ [
377, 377,
3 4
],
[
347,
6
],
[
377,
1
], ],
[ [
339, 339,
8 8
], ],
[ [
377, 377,
1 1
Show All 10 Lines [
58, 58,
1 1
], ],
[ [
377, 377,
1 1
], ],
[ [
365, 311,
5 6
], ],
[ [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377,
1
],
[
125, 125,
1 1
], ],
[ [
44, 44,
1 1
], ],
[ [
377, 377,
3 3
], ],
[ [
347,
6
],
[
377,
1
],
[
339, 339,
8 8
], ],
[ [
377, 377,
1 1
], ],
[ [
40, 40,
1 1
], ],
[ [
41, 41,
1 1
], ],
[ [
58, 58,
1 1
], ],
[ [
377, 377,
1 1
], ],
[ [
391, 365,
8 5
], ],
[ [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377,
1
],
[
125, 125,
1 1
], ],
[ [
44, 44,
1 1
], ],
[ [
377, 377,
4 3
], ],
[ [
347, 347,
6 6
], ],
[ [
377, 377,
1 1
Show All 18 Lines [
58, 58,
1 1
], ],
[ [
377, 377,
1 1
], ],
[ [
311, 391,
6 8
], ],
[ [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377,
1
],
[
125, 125,
1 1
], ],
[ [
44, 44,
1 1
], ],
[ [
Show All 28 Lines [
58, 58,
1 1
], ],
[ [
377, 377,
1 1
], ],
[ [
365, 63,
5 1
], ],
[ [
377, 311,
1 6
], ],
[ [
123, 377,
1 1
], ],
[ [
377, 123,
1 1
], ],
[ [
125, 125,
1 1
], ],
[ [
44, 44,
Show All 31 Lines [
58, 58,
1 1
], ],
[ [
377, 377,
1 1
], ],
[ [
391, 311,
8 4
], ],
[ [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377,
1
],
[
125, 125,
1 1
], ],
[ [
44, 44,
1 1
], ],
[ [
Show All 17 Lines
Phabricator · Built by Phacility