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)

Bắt đầu với bản tái hiện Lua được nhúng và kiểm tra các kiểu được language server suy luận cho aaa, b, bb và bbb so với a và aa. Theo dõi quá trình phân giải overload cho các lệnh gọi bằng dấu hai chấm và nhiều tham số, sau đó thêm hoặc chạy một bài kiểm thử hồi quy tập trung để xác nhận các kiểu được suy luận mong đợi cho tất cả các ví dụ.