Multipe parameters infer differently?

還沒有人認領這個 Issue。

Infers `a` and `aa` correctly but not the rest
```lua
---@diagnostic disable: codestyle-check, spell-check, unused-local

---@alias AnyChild A|B|C
---@class PARENT
local PARENT = {}
---@class A: PARENT
local A = {}
---@class B: PARENT
local B = {}
---@class C: PARENT
local C = {}

---@overload fun(self:PARENT): A
---@overload fun(self:AnyChild, other: A): A
---@overload fun(self:AnyChild, other: B): B
function PARENT:new(other)
self.a = 2
return {}
end

local a = A:new()
local aa = a:new()

local aaa = a:new(B)
local b = B:new(B)
local bb = b:new(B)
local bbb = b:new(C)
```

從嵌入式 Lua 重現開始，檢查 language server 為 `aaa`、`b`、`bb` 和 `bbb` 推斷的型別，並與 `a` 和 `aa` 進行比較。追蹤冒號呼叫和多個參數的多載解析，然後新增或執行一個有針對性的回歸測試，確認所有範例的預期推斷型別。

由索引模型根據 Issue 內容生成。