Feature request: Infer overload annotations for subsequent overloads

It would be useful for subsequent function overload definitions to use prior annotations unless a new annotation is provided.

Such as:

---An example function
---@param a integer
---@param b string
---@param c function Some documentation about c
---@return boolean
---@overload fun(c)
---@overload fun(a): nil
function foo(a, b, c) end

being equivalent to

---An example function
---@param a integer
---@param b string
---@param c function Some documentation about c
---@return boolean
function foo(a, b, c) end

---An example function
---@param c function Some documentation about c
---@return boolean
function foo(c)

---An example function
---@param a integer
---@return nil
function foo(a)

With auto-generated documentation this isn't so much of a problem, but it's a bit of a chore when it's something to be done by hand.

Appreciate all the work you've done! This makes writing Lua so much more confident.

Nell’issue non sono indicati file o test. Inizia individuando la gestione di @overload e delle annotazioni dei parametri e del valore restituito, quindi aggiungi una copertura mirata per l’ereditarietà delle annotazioni precedenti e per la loro sovrascrittura quando un overload ne fornisce di nuove. Il lavoro è completo quando i due overload nell’esempio ricevono le annotazioni ereditate ed esplicite documentate, senza modificare la definizione originale.