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 的错误字符串，同时现有解决方法仍然有效时，此更改即完成。