Type narrowing for unioned classes

I have a large number of classes that look something like this:

---@class Foo
---@field type "foo"
---@field name string
---@field property string
-- more unique fields

---@class Bar
---@field type "bar"
---@field name string
---@field stuff string
-- more unique fields

-- more classes

I have a function that takes an array of any of these classes as a parameter, so naturally I've unioned all of the classes.

---@alias Prototypes
---|Foo
---|Bar
-- all of the other classes

---@param prototypes Prototypes[]
local function extend(prototypes)
  -- stuff and things
end

However, when I try to make prototypes a table literal, I get autocomplete for the other classes because the union operator behaves like intersection instead of union.

Is there any way to get it to show only the fields of the class indicated by the type field? I can't seem to find way to do a proper union of types.
@type seems to only work on variables, and even if it did work on table literals, it would be cumbersome to write out the type for every entry in the array.

Bắt đầu bằng cách tái hiện ví dụ Foo/Bar Prototypes[] có chú thích từ issue này và kiểm tra hành vi thu hẹp kiểu union cũng như hoàn thành table-literal của language server. Được xem là hoàn tất khi một union phân biệt được thu hẹp bằng trường type chỉ hiển thị các trường của lớp đã chọn trong phần hoàn thành, đồng thời vẫn giữ khả năng hoàn thành hợp lệ cho các thành viên union khác.