会根据函数参数推测调用者的类型

2 files changed, 9 insertions, 1 deletions

diff --git a/server/src/matcher/vm.lua b/server/src/matcher/vm.lua
index 2f7bbcf4..af3e00ed 100644
--- a/server/src/matcher/vm.lua
+++ b/server/src/matcher/vm.lua
@@ -325,7 +325,11 @@ function mt:setFunctionArg(func, values)
         func.argValues = {}
     end
     for i = 1, #values do
-        func.argValues[i] = values[i]
+        if not func.argValues[i] then
+            func.argValues[i] = values[i]
+        end
+        self:inference(values[i], func.argValues[i].type)
+        self:inference(func.argValues[i], values[i].type)
     end
 
     self:updateFunctionArgs(func)
diff --git a/server/test/type_inference/init.lua b/server/test/type_inference/init.lua
index 8f5909c0..733fd99a 100644
--- a/server/test/type_inference/init.lua
+++ b/server/test/type_inference/init.lua
@@ -146,3 +146,7 @@ local function x(a)
 end
 x(1)
 ]]
+
+TEST 'table' [[
+setmetatable(<?b?>)
+]]