Aliasing two structs and having them be subtypes of an abstract type?

Well that’s a shame. Would A and B have to be subtypes of the same abstract type for it to be possible?