Membro não é comum a todas as alternativas da union

Um valor tipado como union só pode ser usado sem narrowing através de membros compartilhados por todas as alternativas. Ler um campo ou chamar um método que falta em algumas alternativas seria válido para um valor em runtime e inválido para outro.