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.

Start by reproducing the Lua snippet in a local language-server setup and inspect how return type declarations are handled during table type inference. The change is complete when the declared Test return type causes the incorrect string assigned to foo to be diagnosed without an extra @type annotation, while the existing workaround remains valid.