includes

const actions = [
  "CREATE",
  "READ",
  "UPDATE",
  "DELETE"
] as const;
// readonly ["CREATE", "READ", "UPDATE", "DELETE"]

const execute = (action: string) => {
  if (actions.includes(action)) {
    // 💥 ERROR
  }
};

Argument of type 'string' is not assignable to parameter of type 'CREATE' | 'READ' | 'UPDATE' | 'DELETE' . = Error 2345

interface Array<T> {
  includes(searchElement: T, fromIndex?: number): boolean;
}

interface ReadonlyArray<T> {
  includes(searchElement: T, fromIndex?: number): boolean;
}

Array<T>와 ReadonlyArray<T>의 선언을 살펴보면 찾으려는 요소(searchElement)의 타입과 배열이 담고있는 값의 타입이 동일해야 한다.

이때 string은 T('CREATE' | 'READ' | 'UPDATE' | 'DELETE')보다 훨씬 넓은 타입이므로 타입 캐스팅을 이용해 타입을 좁혀주어야 한다.

function includes<T extends U, U>(
  array: ReadonlyArray<T>,
  element: U
): element is T {
  return array.includes(element as T);
}

최종적으로는 T 가 U 를 확장(extends)하는 지 검증하며, 이는 U가 T의 상위 집합(superset) 혹은 T가 U의 하위 집합(subset)임을 보장 할 수 있게 된다.