Exhaustiveness checking trong TypeScript là gì?

type Action =
  | { type: 'INCREMENT' }
  | { type: 'DECREMENT' }
  | { type: 'RESET' };

function reducer(state: number, action: Action): number {
  switch (action.type) {
    case 'INCREMENT': return state + 1;
    case 'DECREMENT': return state - 1;
    case 'RESET':     return 0;
    default:
      // Nếu thêm 'SET' vào Action mà không handle, dòng này báo lỗi
      const exhaustive: never = action;
      throw new Error(`Unhandled action: ${exhaustive}`);
  }
}

// Hoặc dùng helper function
function assertNever(x: never): never {
  throw new Error('Unexpected value: ' + x);
}