blob: b8c1e7d37eeb9f0e04d4a51e5ae433cd23aa87af (
plain)
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
156
157
158
|
TEST [[
---@type fun():number
local function f()
<!!>end
]]
TEST [[
---@type fun():number?
local function f()
end
]]
TEST [[
---@type fun():...
local function f()
end
]]
TEST [[
---@return number
function F()
X = 1<!!>
end
]]
TEST [[
local A
---@return number
function F()
if A then
return 1
end<!!>
end
]]
TEST [[
local A, B
---@return number
function F()
if A then
return 1
elseif B then
return 2
end<!!>
end
]]
TEST [[
local A, B
---@return number
function F()
if A then
return 1
elseif B then
return 2
else
return 3
end
end
]]
TEST [[
local A, B
---@return number
function F()
if A then
elseif B then
return 2
else
return 3
end<!!>
end
]]
TEST [[
---@return any
function F()
X = 1
end
]]
TEST [[
---@return any, number
function F()
X = 1<!!>
end
]]
TEST [[
---@return number, any
function F()
X = 1<!!>
end
]]
TEST [[
---@return any, any
function F()
X = 1
end
]]
TEST [[
local A
---@return number
function F()
for _ = 1, 10 do
if A then
return 1
end
end
error('should not be here')
end
]]
TEST [[
local A
---@return number
function F()
while true do
if A then
return 1
end
end
end
]]
TEST [[
local A
---@return number
function F()
while A do
if A then
return 1
end
end<!!>
end
]]
TEST [[
local A
---@return number
function F()
while A do
if A then
return 1
else
return 2
end
end
end
]]
TEST [[
---@return number?
function F()
end
]]
|
