Как тестировать типы (type testing)?

Type testing — это проверка того, что типы ведут себя как задумано: утилитный тип возвращает правильный результат, функция выводит нужный generic, ошибка компиляции возникает при невалидном аргументе. Для этого используют type-level assertions: вспомогательные типы вроде Expect<Equal<A, B>>, которые ломают компиляцию, если типы не совпадают. Библиотеки tsd и expect-type автоматизируют это, а для простых случаев хватает ручных проверок с satisfies и условными типами.