stash

1 files changed, 37 insertions, 0 deletions

diff --git a/test/diagnostics/type-check.lua b/test/diagnostics/type-check.lua
index 383527c2..5450eda4 100644
--- a/test/diagnostics/type-check.lua
+++ b/test/diagnostics/type-check.lua
@@ -784,6 +784,43 @@ local x
 t[x] = true
 ]]
 
+TEST [[
+---@param x boolean
+---@return number
+---@overload fun(): boolean
+local function f(x)
+    if x then
+        return 1
+    else
+        return false
+    end
+end
+]]
+
+TEST [[
+---@param x boolean
+---@return number
+---@overload fun()
+local function f(x)
+    if x then
+        return 1
+    else
+        return
+    end
+end
+]]
+
+--TEST [[
+-----@param x boolean
+-----@return number
+-----@overload fun()
+--local function f(x)
+--    if x then
+--        return 1
+--    end
+--end
+--]]
+
 config.remove(nil, 'Lua.diagnostics.disable', 'unused-local')
 config.remove(nil, 'Lua.diagnostics.disable', 'unused-function')
 config.remove(nil, 'Lua.diagnostics.disable', 'undefined-global')