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.

Bắt đầu bằng cách tái hiện đoạn mã Lua trong một thiết lập language-server cục bộ và kiểm tra cách các khai báo kiểu trả về được xử lý trong quá trình suy luận kiểu bảng. Thay đổi được hoàn tất khi kiểu trả về Test đã khai báo khiến chuỗi không đúng được gán cho foo bị phát hiện mà không cần thêm chú thích @type, đồng thời cách khắc phục hiện có vẫn hợp lệ.