extends string[]] ? P : never // 'c' ? Разве строка ...infer Tail extends string[] не обязывает массив иметь еще хотя бы один элемент с типом string?
А все, понял. Tail в данном случае - [], а пустой массив расширяется от массива со строками.
Обсуждают сегодня