Nested tagged unions do not work as I want them to work about luau HOT 1 OPEN

type HealingButton = ButtonCommon & {
	GetAttribute:
		((ButtonCommon, "Class") -> ('Healing')),
	health: IntValue,
}

type DamageButton = ButtonCommon & {
	GetAttribute:
		((ButtonCommon, "Class") -> ('Damage')),
	damage: IntValue,
}

type ButtonCommon = Model & {}

type Button =
	HealingButton |
	DamageButton

local button: Button = {} :: any

-- Type Error: (24,4) Cannot call non-function (((Instance, string) -> any) & ((Model, "Class") -> "Damage")) | (((Instance, string) -> any) & ((Model, "Class") -> "Healing"))
if button:GetAttribute("Class") == 'Damage' then
	-- Type Error: (26,8) Key 'damage' is missing from 'Model & {|  |} & {| GetAttribute: (Model, "Class") -> "Healing", ... 1 more ... |}' in the type '(Model & {|  |} & {| GetAttribute: (Model, "Class") -> "Damage", ... 1 more ... |}) | (Model & {|  |} & {| GetAttribute: (Model, "Class") -> "Healing", ... 1 more ... |})'
	print(button.damage)
end