Infer the type of the returned expression from the return type declaration

The situation:

---@class Test
---@field foo number

---@return Test
local function test()
    return {
        foo = 'this is not a number!',
    }
end

The code passes as valid when in reality the field is assigned a wrong type of value.

Right now the workaround is to do

---@class Test
---@field foo number

---@return Test
local function test()
    ---@type Test
    return {
        foo = 'this is not a number!',
    }
end

which to me feels like belaboring the obvious. Would be great if LuaLS assumed this automatically.

まず、ローカルの language-server セットアップで Lua スニペットを再現し、テーブル型推論中に戻り値型の宣言がどのように処理されるかを調べます。宣言された Test の戻り値型によって、追加の @type アノテーションなしで foo に割り当てられた誤った文字列が診断され、既存の回避策も引き続き有効であれば、変更は完了です。