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.

Inizia riproducendo lo snippet Lua in una configurazione locale di language-server e verifica come vengono gestite le dichiarazioni dei tipi di ritorno durante l'inferenza dei tipi delle tabelle. La modifica è completa quando il tipo di ritorno Test dichiarato fa sì che la stringa errata assegnata a foo venga diagnosticata senza un'annotazione @type aggiuntiva, mentre il workaround esistente rimane valido.