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.

Beginne damit, den Lua-Schnipsel in einer lokalen Language-Server-Umgebung zu reproduzieren, und untersuche, wie Rückgabetypdeklarationen während der Typinferenz für Tabellen verarbeitet werden. Die Änderung ist abgeschlossen, wenn der deklarierte Test-Rückgabetyp dazu führt, dass die foo zugewiesene falsche Zeichenkette ohne zusätzliche @type-Annotation diagnostiziert wird, während der bestehende Workaround weiterhin gültig bleibt.