Зачем нужен тип never?

• функций, которые не завершаются

• проверки полноты (exhaustiveness checking)

• уточнения и защиты от ошибок в типах.

function fail(message: string): never {
  throw new Error(message);
}

function assertNever(x: never): never {
  throw new Error(`Unreachable case: ${JSON.stringify(x)}`);
}

type Shape =
  | { kind: "circle"; radius: number }
  | { kind: "square"; side: number };

function area(shape: Shape): number {
  switch (shape.kind) {
    case "circle":
      return Math.PI * shape.radius ** 2;
    case "square":
      return shape.side * shape.side;
    default:
      // если добавим новый вариант в Shape и не обработаем его выше —
      // здесь будет ошибка типов (shape не сужается до never)
      return assertNever(shape);
  }
}

// never, потому что строка не может быть одновременно "a" и "b"
type A = "a" & "b"; 

// never, потому что переменная не может быть одновременно иметь тип и строки, и числа
type B = string & number;