Support generic function signatures

[123marble]

When hovering over v in the code below, LSP shows T instead of vector, rather than the correct type based on use.

export type vector = {
    x : number,
    y : number,
    z : number,
}
export type f = <T>(c : T) -> T
local f : f
local v = f({} :: vector)

v should have type vector but only has type T so none of the properties of v show in the intellisense.

Would you be able to share if there is any plan to support this please @NightrainsRbx?

[NightrainsRbx]

There will not be support for this. For complex type annotations, you have to use Luau LSP.

Roblox LSP may integrate Luau LSP into itself soon to allow better typechecking and intellisense.