Generics Return Issue

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Annotations

Expected Behaviour

In this function:

--- Merge two tables together, keys that are the same will use the value from the second table
---@generic K, V, L, W
---@param table1 table<K, V>
---@param table2 table<L, W>
---@return table<K | L, V | W>
function table.merge(table1, table2)
	for k, v in pairs(table2) do
		table1[k] = v
	end

	return table1
end

I would expect the return type to be table<K | L, V | W> however it is actually always table<K, V>
There is also a secondary issue here where k, v are seen as unknown when they should be seen as V, W (I assume this is another generics issue)

Actual Behaviour

Reproduction steps

1. Copy example code
2. Observe result

Additional Notes

No response

Log File

No response

Riproduci l’esempio annotato di table.merge nell’estensione Visual Studio Code su Windows. Inizia tracciando l’annotazione generica e l’inferenza dei tipi di tabella per @generic, @param, @return e pairs; il lavoro è completato quando il valore restituito è table<K | L, V | W> e k e v vengono risolti nei tipi della seconda tabella.