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

Windows 上の Visual Studio Code 拡張機能で、注釈付きの table.merge 例を再現します。まず、@generic、@param、@return、pairs に対するジェネリック注釈とテーブル型推論を追跡します。完了条件は、戻り値が table<K | L, V | W> となり、k と v が 2 番目のテーブルの型に解決されることです。