fix assign-type-mismatch

Author: fesily

meta/template/basic.lua

@@ -210,40 +210,40 @@ function select(index, ...) end
 function setfenv(f, table) end
 
 
----@class metatable : table
----@field __mode 'v'|'k'|'kv'
----@field __metatable any
----@field __tostring fun(t):string
----@field __gc fun(t)
----@field __add fun(t1,t2):any
----@field __sub fun(t1,t2):any
----@field __mul fun(t1,t2):any
----@field __div fun(t1,t2):any
----@field __mod fun(t1,t2):any
----@field __pow fun(t1,t2):any
----@field __unm fun(t):any
+---@class metatable
+---@field __mode 'v'|'k'|'kv'|nil
+---@field __metatable any|nil
+---@field __tostring fun(t):string|nil
+---@field __gc fun(t)|nil
+---@field __add fun(t1,t2):any|nil
+---@field __sub fun(t1,t2):any|nil
+---@field __mul fun(t1,t2):any|nil
+---@field __div fun(t1,t2):any|nil
+---@field __mod fun(t1,t2):any|nil
+---@field __pow fun(t1,t2):any|nil
+---@field __unm fun(t):any|nil
 ---#if VERSION >= 5.3 then
----@field __idiv fun(t1,t2):any
----@field __band fun(t1,t2):any
----@field __bor fun(t1,t2):any
----@field __bxor fun(t1,t2):any
----@field __bnot fun(t):any
----@field __shl fun(t1,t2):any
----@field __shr fun(t1,t2):any
+---@field __idiv fun(t1,t2):any|nil
+---@field __band fun(t1,t2):any|nil
+---@field __bor fun(t1,t2):any|nil
+---@field __bxor fun(t1,t2):any|nil
+---@field __bnot fun(t):any|nil
+---@field __shl fun(t1,t2):any|nil
+---@field __shr fun(t1,t2):any|nil
 ---#end
----@field __concat fun(t1,t2):any
----@field __len fun(t):integer
----@field __eq fun(t1,t2):boolean
----@field __lt fun(t1,t2):boolean
----@field __le fun(t1,t2):boolean
----@field __index table|fun(t,k)
----@field __newindex table|fun(t,k,v)
----@field __call fun(t,...)
+---@field __concat fun(t1,t2):any|nil
+---@field __len fun(t):integer|nil
+---@field __eq fun(t1,t2):boolean|nil
+---@field __lt fun(t1,t2):boolean|nil
+---@field __le fun(t1,t2):boolean|nil
+---@field __index table|fun(t,k)|nil
+---@field __newindex table|fun(t,k,v)|nil
+---@field __call fun(t,...)|nil
 ---#if VERSION > 5.1 or VERSION == JIT then
----@field __pairs fun(t):fun(t,k,v)
+---@field __pairs fun(t):fun(t,k,v)|nil
 ---#end
 ---#if VERSION == JIT or VERSION == 5.2 then
----@field __ipairs fun(t):fun(t,k,v)
+---@field __ipairs fun(t):fun(t,k,v)|nil
 ---#end
 
 ---#DES 'setmetatable'

script/core/diagnostics/assign-type-mismatch.lua

@@ -103,7 +103,7 @@ return function (uri, callback)
 
         -- local Cat = setmetatable({}, {__index = Animal}) 允许逆变
         if hasMarkClass(source) then
-            if vm.canCastType(uri, valueNode:copy():remove 'table', varNode) then
+            if vm.canCastType(uri, valueNode:copy():remove 'metatable', varNode) then
                 return
             end
         end