Zawiera

Rozwiązanie

type Includes<T extends readonly unknown[], U> =
  T extends readonly [infer H, ...infer R]
    ? Equal<H, U> extends true
      ? true
      : Includes<R, U>
    : false

Najczęstsza błędna odpowiedź

type Includes<T extends readonly unknown[], U> =
  U extends T[number] ? true : false

Krótkie i błędne. T[number] to unia typów elementów, a extends pyta o przypisywalność, więc Includes<[boolean], true> odpowiada true — true jest przypisywalne do boolean, choć krotka nie zawiera takiego elementu. Przypisywalność to nie przynależność.

Linia po linii

1. Equal<H, U> extends true

   Equal zwraca typ true albo false, więc trzeba go sprawdzać przez extends true, a nie używać wprost jako warunku. To zagadka, w której sam harness staje się narzędziem.

2. : false

   Dojście do pustej krotki oznacza, że sprawdzono każdy element i żaden nie pasował. Wyczerpanie listy *jest* odpowiedzią przeczącą.

Do zapamiętania

Gdy zagadka mówi „dokładnie”, extends jest złym narzędziem — testuje przypisywalność, która jest jednokierunkowa. Dokładna tożsamość wymaga Equal — i dlatego każdy test na tej stronie jest na nim oparty.