Exhaustiveness Check Misses a Case

type Shape =
  | { kind: "circle" }
  | { kind: "square" }
  | { kind: "triangle" };

function handle(shape: Shape): number {
  switch (shape.kind) {
    case "circle": return 1;
    case "square": return 2;
    default:
      const _exhaustive: never = shape;
      return _exhaustive;
  }
}