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

Reproduce the annotated table.merge example in the Visual Studio Code extension on Windows. Start by tracing generic annotation and table type inference for @generic, @param, @return, and pairs; done means the return is table<K | L, V | W> and k and v resolve to the second table's types.