Multipe parameters infer differently?

Infers a and aa correctly but not the rest

---@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 进行比较。跟踪冒号调用和多个参数的重载解析，然后添加或运行一个有针对性的回归测试，确认所有示例的预期推断类型。