table.insert warning?

[Rouneq]

If I have a setup like so:

local values = {
    first = "first",
    second = 2,
    ---@type string[]
    list = {},
}

table.insert(values.list, 3)

Is there a way to get the language server to warn me about the non-conforming value?

I also tried defining a class with all the appropriate fields and typing values to that class.

[firas-assaad]

I don't think there's an easy way to change table.insert's definition because it's a standard function that's used for all kinds of arrays. I was hoping defining your own function and using generics could be a solution:

---@generic T
---@param arr T[]
---@param value T
local function my_insert(arr, value)
    table.insert(arr, value)
end

but unfortunately it looks like the language server doesn't check generic parameter types. :( You can always open an issue to get that implemented if no one else has better ideas.

[Rouneq]

AFAIK, there isn't a way to change the table.insert definition. This was really about seeing if there was a way to get the language server to understand the value supplied doesn't match the target array definition (as currently implemented). A feature enhancement may be required.

[carsakiller]

I know the table.insert definition doesn't narrow, which is likely contributing to the problem here:

It is defined as:

table.insert(table, position, value)

But of course, the following is also valid, but never narrowed down to:

table.insert(table, value)

I know better narrowing of functions has been talked about in various places, so that will hopefully be fixed.