Diagnostics.(param-type-mismatch)

---@enum Test
local Test = {
    Test1 = 1,
    Test2 = 2,
    Test3 = 2,
}

---@type Test|Test[]
local a

---@param c Test
local function b(c) end

if type(a) == "table" then
    b(a[1]);
else
    b(a);
end

---@class Class
---@field a Test|Test[]
local Class = {};

function Class:Test()
    if type(self.a) == "table" then
        b(self.a[1]);
    else
        b(self.a);
    end
end

未指定源文件或测试。首先复现所示的 Lua 代码片段，并检查局部联合类型和类字段的 param-type-mismatch 诊断；当诊断能正确处理每次类型检查所收窄的类型时，即视为完成。