diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-04-24 22:22:53 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-04-24 22:22:53 +0800 |
| commit | 1d7773f05477ca3f637fa8afe05658868bf38a26 (patch) | |
| tree | f5379edac4f7c4473e5f8b5eb2fec9a725ae3b9e /test | |
| parent | 01a4bfa62d3583ade899e69a92c290ee57fb9251 (diff) | |
| download | lua-language-server-1d7773f05477ca3f637fa8afe05658868bf38a26.zip | |
cleanup
Diffstat (limited to 'test')
| -rw-r--r-- | test/type_inference/init.lua | 87 |
1 files changed, 67 insertions, 20 deletions
diff --git a/test/type_inference/init.lua b/test/type_inference/init.lua index 19f868f4..a6f18f65 100644 --- a/test/type_inference/init.lua +++ b/test/type_inference/init.lua @@ -1733,6 +1733,23 @@ if <?x?> then print(x) end ]] +--[[ +context 0 integer? + +save copy 'block' +save copy 'out' +push 'block' +get +push copy +truthy +falsy ref 'out' +get +save HEAD 'final' +push 'out' + +push copy HEAD +merge 'final' +]] TEST 'integer' [[ ---@type integer? @@ -1742,18 +1759,6 @@ if x then print(<?x?>) end ]] ---[[ -#0 integer? -save 1 #1 integer? --ifblock --block外的状态 -load 2 #2 integer? --ifblock --block中的初始状态 -object get #2 integer? --if x then -truly 2 #2 integer --ifblock -falsy 1 #1 ? -object get #2 integer --print(x) -save 3 #?(2) integer --block中的最终状态 -load 1 #2 ? --ifblock -- block -merge 3 #2 --if 最终状态 -]] TEST 'integer?' [[ ---@type integer? @@ -1786,6 +1791,27 @@ if xxx and x then end ]] +TEST 'integer?' [[ +---@type integer? +local x + +if xxx and x then +end + +print(<?x?>) +]] + +TEST 'integer?' [[ +---@type integer? +local x + +if xxx and x then + return +end + +print(<?x?>) +]] + TEST 'integer' [[ ---@type integer? local x @@ -1965,15 +1991,36 @@ TEST 'integer' [[ ---@type integer? local x -if x and <?x?> then +if x and <?x?>.y then +end +]] + +TEST 'integer?' [[ +---@type integer? +local x + +if x and x.y then +end + +print(<?x?>) +]] + +TEST 'integer?' [[ +---@type integer? +local x + +if x and x.y then + return end + +print(<?x?>) ]] TEST 'integer' [[ ---@type integer? local x -if not x or <?x?> then +if not x or <?x?>.y then end ]] @@ -1981,7 +2028,7 @@ TEST 'integer?' [[ ---@type integer? local x -if not x or XXX then +if not x or x.y then print(<?x?>) end ]] @@ -1990,7 +2037,7 @@ TEST 'integer?' [[ ---@type integer? local x -if x or XXX then +if x or x.y then print(<?x?>) end ]] @@ -1999,7 +2046,7 @@ TEST 'integer?' [[ ---@type integer? local x -if XXX or x then +if x.y or x then print(<?x?>) end ]] @@ -2008,16 +2055,16 @@ TEST 'integer?' [[ ---@type integer? local x -if XXX or not x then +if x.y or not x then print(<?x?>) end ]] -TEST 'integer' [[ +TEST 'integer?' [[ ---@type integer? local x -if not x or XXX then +if not x or x.y then return end |