Override is prevented from linter

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Diagnostics/Syntax Checking

Expected Behaviour

local a = {}
a.__index = a
function a:m1()
end

-- b inherit from a
local b = setmetatable({}, a)
-- override m2()
function b:m2() --- no warning generated
end

Actual Behaviour

local a = {}
a.__index = a
function a:m1()
end

-- b inherit from a
local b = setmetatable({}, a)
-- override m2()
function b:m2() --- duplicate field `m`
end

Reproduction steps

1. Just copy the code and lint them

Additional Notes

Inheritance and override methods is prevent by LuaLS linter.

Override is a common and basic concept. But LuaLS seems can't recognize it but provide warnings.

In the case, m2 is not a duplicate field, but just shadowing or overriding.

Log File

No response

Reproduce the diagnostic in the Visual Studio Code Extension using the Lua snippet under Diagnostics/Syntax Checking. Then trace the linter’s duplicate-field diagnostic and its handling of setmetatable inheritance; done means m2 is not reported as a duplicate while unrelated duplicate fields still are.