处理"当会推导成多个class类型时"的情况

1 files changed, 19 insertions, 0 deletions

diff --git a/test/diagnostics/init.lua b/test/diagnostics/init.lua
index b923b8b6..35342dcf 100644
--- a/test/diagnostics/init.lua
+++ b/test/diagnostics/init.lua
@@ -922,3 +922,22 @@ function mt:method1()
     return <!self.method2!>() -- doc.class.name
 end
 ]]
+
+-- checkUndefinedField 当会推导成多个class类型时
+TEST [[
+---@class Foo
+local mt
+function mt:method1() end
+
+---@class Bar
+local mt2
+function mt2:method2() end
+
+---@type Foo
+local v
+---@type Bar
+local v2
+v2 = v
+v2:method1()
+v2:method2() -- 这个感觉实际应该报错更合适
+]]