Checagem exaustiva com never

Modele formas geométricas com uma discriminated union pelo campo tipo:

• { tipo: "circulo"; raio: number }
• { tipo: "retangulo"; largura: number; altura: number }
• { tipo: "triangulo"; base: number; altura: number }

Implemente area(f: Forma): number com switch e, no default, faça a checagem exaustiva: const _exaustivo: never = f;. Assim, se alguém adicionar uma nova forma e esquecer de tratar, o TypeScript acusa erro.