summaryrefslogtreecommitdiff
path: root/test/type_inference
diff options
context:
space:
mode:
Diffstat (limited to 'test/type_inference')
-rw-r--r--test/type_inference/init.lua8
1 files changed, 8 insertions, 0 deletions
diff --git a/test/type_inference/init.lua b/test/type_inference/init.lua
index 4eee872f..883385f8 100644
--- a/test/type_inference/init.lua
+++ b/test/type_inference/init.lua
@@ -427,6 +427,14 @@ local t
local k, <?v?> = next(t)
]]
+TEST 'boolean' [[
+---@generic K
+---@type fun(arg: K):K
+local f
+
+local <?r?> = f(true)
+]]
+
TEST 'string' [[
---@generic T: table, K, V
---@param t T