Better support for varargs in functions in classes declared with @field

I ran into a minor problem with how vararg is handled in function declarations in an field annotation when the function declaration itself later explicitly lists the arguments.

---@class Handler
---@field ReceiveMsg fun(self: Handler, type: number, ...: string)
local handler = {}

function handler:ReceiveMsg(arg1, arg2, arg3, arg4)
 --- arg2 is inferred as string, but arg3 and arg4 are "any"
end

Why do I even have this mismatch between field and function declaration? The field annotation comes from a library and is an event handler -- the number of parameters depend on a lot of things, but for a given implementation you usually only care about a few that you explicitly declare.

Inizia riproducendo l’esempio di Handler dell’issue con un’annotazione vararg @field ReceiveMsg e una dichiarazione esplicita del metodo. Traccia la propagazione del tipo vararg durante la dichiarazione della funzione e l’inferenza dei parametri. Il lavoro è completato quando arg2, arg3 e arg4 vengono inferiti coerentemente come string invece di lasciare gli argomenti successivi come any.