Page MenuHomePhabricator
Differential D18621 Diff 44753 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,
38,
49,
[
[
9050,
38,
49,
[
[
9005
],
[
9005
],
[
9013,
40,
40
],
[
9059,
41, 41,
86, 42
],
[
9005
],
[
9115,
45,
46,
[
[
0,
45,
45
],
[
9090,
46,
46
]
]
],
[
9006,
48,
49
]
]
]
]
],
[
9004,
51,
61,
[
[
9050,
51,
61,
[
[
9005
],
[
9005
],
[
9013,
53,
53
],
[
9059,
54,
55
],
[
9005
],
[
9115,
58,
58,
[
[
9005
],
[
9090,
58,
58
]
]
],
[
9006,
60,
61
]
]
]
]
],
[
9004,
64,
75,
[
[
9050,
64,
75,
[
[
9005
],
[
9005
],
[
9013,
66,
66
],
[
9059,
67,
68
],
[
9005
],
[
9115,
71,
72,
[
[
0,
71,
71
],
[
9090,
72,
72
]
]
],
[
9006,
74,
75
]
]
]
]
],
[
9004,
77,
119,
[ [
[ [
9051, 9051,
41, 77,
86, 119,
[ [
[ [
9052, 9052,
41, 77,
41 77
], ],
[ [
9090, 9090,
43, 79,
43 79
], ],
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9006, 9006,
45, 81,
86, 119,
[ [
[ [
9004, 9004,
47, 83,
58, 93,
[ [
[ [
9067, 9067,
47, 83,
58, 93,
[ [
[ [
9068 9068
], ],
[ [
9005 9005
], ],
[ [
9013, 9013,
49, 85,
49 85
], ],
[ [
9059, 9059,
50, 86,
51 87
], ],
[ [
9005 9005
], ],
[ [
9115,
90,
90,
[
[
9005
],
[
9090, 9090,
54, 90,
54 90
]
]
], ],
[ [
9006, 9006,
56, 92,
58 93
] ]
] ]
] ]
] ]
], ],
[ [
9004, 9004,
60, 95,
71, 105,
[ [
[ [
9067, 9067,
60, 95,
71, 105,
[ [
[ [
9068 9068
], ],
[ [
9005 9005
], ],
[ [
9013, 9013,
62, 97,
62 97
], ],
[ [
9059, 9059,
63, 98,
64 99
],
[
9005
], ],
[ [
9115,
102,
102,
[
[
9005 9005
], ],
[ [
9061, 9061,
67, 102,
67 102
]
]
], ],
[ [
9006, 9006,
69, 104,
71 105
] ]
] ]
] ]
] ]
], ],
[ [
9004, 9004,
73, 107,
84, 117,
[ [
[ [
9067, 9067,
73, 107,
84, 117,
[ [
[ [
9068 9068
], ],
[ [
9005 9005
], ],
[ [
9013, 9013,
75, 109,
75 109
], ],
[ [
9059, 9059,
76, 110,
77 111
], ],
[ [
9005 9005
], ],
[ [
9115,
114,
114,
[
[
9005
],
[
9061, 9061,
80, 114,
80 114
]
]
], ],
[ [
9006, 9006,
82, 116,
84 117
] ]
] ]
] ]
] ]
] ]
] ]
] ]
] ]
] ]
] ]
], ],
[ [
9004, 9004,
88, 121,
179, 260,
[ [
[ [
9077, 9077,
88, 121,
178, 259,
[ [
[ [
9047, 9047,
88, 121,
88 121
], ],
[ [
9081, 9081,
90, 123,
90 123
], ],
[ [
9082, 9082,
92, 125,
178, 259,
[ [
[ [
9093, 9093,
92, 125,
178, 259,
[ [
[ [
9094, 9094,
94, 127,
104, 136,
[ [
[ [
9005 9005
], ],
[ [
9050, 9050,
94, 127,
104, 136,
[ [
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9059, 9059,
96, 129,
97 130
], ],
[ [
9005 9005
], ],
[ [
9115,
133,
133,
[
[
9005
],
[
9090, 9090,
100, 133,
100 133
]
]
], ],
[ [
9006, 9006,
102, 135,
104 136
] ]
] ]
] ]
] ]
], ],
[ [
9094, 9094,
107, 139,
117, 148,
[ [
[ [
9005 9005
], ],
[ [
9050, 9050,
107, 139,
117, 148,
[ [
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9059, 9059,
109, 141,
110 142
], ],
[ [
9005 9005
], ],
[ [
9115,
145,
145,
[
[
9005
],
[
9061, 9061,
113, 145,
113 145
]
]
], ],
[ [
9006, 9006,
115, 147,
117 148
] ]
] ]
] ]
] ]
], ],
[ [
9094, 9094,
120, 151,
130, 160,
[ [
[ [
9005 9005
], ],
[ [
9050, 9050,
120, 151,
130, 160,
[ [
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9059, 9059,
122, 153,
123 154
],
[
9005
], ],
[ [
9115,
157,
157,
[
[
9005 9005
], ],
[ [
9061, 9061,
126, 157,
126 157
]
]
], ],
[ [
9006, 9006,
128, 159,
130 160
] ]
] ]
] ]
] ]
], ],
[ [
9094, 9094,
133, 163,
145, 173,
[ [
[ [
9005 9005
], ],
[ [
9050, 9050,
133, 163,
145, 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, 9013,
133, 188,
133 188
], ],
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9059, 9059,
137, 192,
138 193
], ],
[ [
9005 9005
], ],
[ [
9115,
196,
196,
[
[
9005
],
[
9090, 9090,
141, 196,
141 196
]
]
], ],
[ [
9006, 9006,
143, 198,
145 199
] ]
] ]
] ]
] ]
], ],
[ [
9094, 9094,
148, 202,
160, 213,
[ [
[ [
9005 9005
], ],
[ [
9050, 9050,
148, 202,
160, 213,
[ [
[ [
9013, 9013,
148, 202,
148 202
], ],
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9059, 9059,
152, 206,
153 207
], ],
[ [
9005 9005
], ],
[ [
9115,
210,
210,
[
[
9005
],
[
9061, 9061,
156, 210,
156 210
]
]
], ],
[ [
9006, 9006,
158, 212,
160 213
] ]
] ]
] ]
] ]
], ],
[ [
9094, 9094,
163, 216,
175, 227,
[ [
[ [
9005 9005
], ],
[ [
9050, 9050,
163, 216,
175, 227,
[ [
[ [
9013, 9013,
163, 216,
163 216
], ],
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9005 9005
], ],
[ [
9059, 9059,
167, 220,
168 221
], ],
[ [
9005 9005
], ],
[ [
9115,
224,
224,
[
[
9005
],
[
9061, 9061,
171, 224,
171 224
]
]
], ],
[ [
9006, 9006,
173, 226,
175 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
] ]
] ]
] ]
] ]
] ]
] ]
] ]
] ]
▲ Show 20 Lines • Show All 51 Lines • ▼ Show 20 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
125,
1
],
[
377,
2
],
[
339,
8
],
[
377,
1
],
[
311,
1
],
[
40,
1
],
[
41,
1
],
[
58,
1
],
[
377,
1
],
[
365,
5
],
[
377, 377,
1 1
], ],
[ [
123,
1
],
[
125, 125,
1 1
], ],
[ [
377, 377,
2 2
], ],
[ [
Show All 20 Lines [
58, 58,
1 1
], ],
[ [
377, 377,
1 1
], ],
[ [
365, 391,
5 8
], ],
[ [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
125,
1
],
[
377,
2
],
[
339,
8
],
[
377,
1
],
[
311,
1
],
[
40,
1
],
[
41,
1
],
[
58,
1
],
[
377,
1
],
[
63,
1
],
[
311,
6
],
[
377, 377,
1 1
], ],
[ [
123,
1
],
[
125, 125,
1 1
], ],
[ [
377, 377,
2 2
], ],
[ [
Show All 20 Lines [
58, 58,
1 1
], ],
[ [
377, 377,
1 1
], ],
[ [
391, 311,
8 4
], ],
[ [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
125,
1
],
[
377,
2
],
[
371,
79
],
[
339,
8
],
[
377, 377,
1 1
], ],
[ [
311,
1
],
[
40,
1
],
[
41,
1
],
[
58,
1
],
[
377,
1
],
[
63,
1
],
[
311,
4
],
[
377,
1
],
[
123,
1
],
[
125, 125,
1 1
], ],
[ [
377, 377,
2 2
], ],
[ [
▲ Show 20 Lines • Show All 56 Lines • ▼ Show 20 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377,
1
],
[
125, 125,
1 1
], ],
[ [
377, 377,
3 3
], ],
[ [
Show All 32 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377,
1
],
[
125, 125,
1 1
], ],
[ [
377, 377,
3 3
], ],
[ [
Show All 32 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377,
1
],
[
125, 125,
1 1
], ],
[ [
377, 377,
1 1
], ],
[ [
▲ Show 20 Lines • Show All 60 Lines • ▼ Show 20 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377,
1
],
[
125, 125,
1 1
], ],
[ [
44, 44,
1 1
], ],
[ [
Show All 32 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
125,
1
],
[
44,
1
],
[
377,
3
],
[
339,
8
],
[
377,
1
],
[
40,
1
],
[
41,
1
],
[
58,
1
],
[
377,
1
],
[
391,
8
],
[
377, 377,
1 1
], ],
[ [
123,
1
],
[
125, 125,
1 1
], ],
[ [
44, 44,
1 1
], ],
[ [
Show All 20 Lines [
58, 58,
1 1
], ],
[ [
377, 377,
1 1
], ],
[ [
391, 63,
8 1
],
[
311,
6
], ],
[ [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
125,
1
],
[
44,
1
],
[
377,
3
],
[
339,
8
],
[
377,
1
],
[
40,
1
],
[
41,
1
],
[
58,
1
],
[
377,
1
],
[
311,
4
],
[
377, 377,
1 1
], ],
[ [
123,
1
],
[
125, 125,
1 1
], ],
[ [
44, 44,
1 1
], ],
[ [
Show All 40 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
377,
1
],
[
125, 125,
1 1
], ],
[ [
44, 44,
1 1
], ],
[ [
Show All 40 Lines [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
125,
1
],
[
44,
1
],
[
377,
3
],
[
347,
6
],
[
377,
1
],
[
339,
8
],
[
377,
1
],
[
40,
1
],
[
41,
1
],
[
58,
1
],
[
377,
1
],
[
391,
8
],
[
377, 377,
1 1
], ],
[ [
123,
1
],
[
125, 125,
1 1
], ],
[ [
44, 44,
1 1
], ],
[ [
Show All 28 Lines [
58, 58,
1 1
], ],
[ [
377, 377,
1 1
], ],
[ [
391, 63,
8 1
],
[
311,
6
], ],
[ [
377, 377,
1 1
], ],
[ [
123, 123,
1 1
], ],
[ [
125,
1
],
[
44,
1
],
[
377,
3
],
[
347,
6
],
[
377,
1
],
[
339,
8
],
[
377, 377,
1 1
], ],
[ [
40,
1
],
[
41,
1
],
[
58,
1
],
[
377,
1
],
[
311,
4
],
[
377,
1
],
[
123,
1
],
[
125, 125,
1 1
], ],
[ [
44, 44,
1 1
], ],
[ [
Show All 17 Lines
Phabricator · Built by Phacility