Análise de fluxo para evitar de "esquecer" de tratar código

flow-analysis.ts

// Aqui você define uma enumeração de valores: ela não é constante, vc define
// valores estruturais (não tipos) que são aceitos
type WillyWonkaElevatorDirection = "horizontal"
  | "vertical"
  // | "diagonal" // Descomente isso
  ;

// Aqui você pode usar esse novo tipo
function handleDirection(direction: WillyWonkaElevatorDirection) {
  switch (direction) {
    case "horizontal": return;
    case "vertical": return;
    // Caso um dos valores de direction não seja tratado, a análise
    // de fluxo vai perceber que "assertNever" está sendo chamado
    // com um valor do tipo ("diagonal" | never), e como a função
    // "assertNever" só aceita "never", o TS vai avisar que você
    //  está "usando errado" a função
    default: return assertNever(direction);
  }
}

// Também funciona se você precisa aplicar o tipo em outras estrutura.
// Aqui o tipo é: um objeto onde a chave "k" é um valor de "WillyWonkaElevatorDirection"
// e o valor é uma string
const Handlers: {[k in WillyWonkaElevatorDirection]: string} = {
  horizontal: "para o lado",
  vertical: "para cima",
};

// Aqui você define uma função que estoura um erro caso seja chamada.
// O parâmetro genérico <T> é apenas para permitir que essa função seja 
// usada em um return e o TypeScript "capture" o tipo de retorno 
// automaticamente 
function assertNever<T>(value: never): T {
  throw new Error("assertNever called with value: " + value);
}