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 の診断を調べてください。各型チェックによって絞り込まれた型を診断が正しく扱えば完了です。