Почему у переменной тип unknown?

Question

[raury]

Почему у val тип unknown, а не string? Версия ts - 4.1.2

type A<T> = T extends (param: infer R) => void ? R : string;

type F = () => void

let val: A<F>;

Comments

[Квазиморд Сидорович]

В F что? Void, а это какой тип? Строка разве? Вот и TS думает что unknow

[WbICHA]

Квазиморд Сидорович, сам-то понял что сказал?

Answer 1

[Дмитрий Беляев]

Во-первых, infer в самом предикате участвует как any
Во-вторых, функция с меньшим количеством аргументов является подтипом для функции с большим количеством аргументов (это позволяет, например, отдать в колбэк функцию, которая не использует всех переданных ей аргументов)

То есть тип () => void является потомком типа (param: any) => void, а значит Ваш предикат в типе A становится истинным и уходит в ветку, где Вы возвращаете R из infer, который выводится к вершине иерархии - типу unknown

То что Вы задумали, можно сделать так:

type A<T> = T extends (...param: infer P) => void
  ? P extends [infer R, ...unknown[]]
    ? R
    : string
  : string;

Comments

[WbICHA]

Я бы сделал так:

type A<T extends (...args: any[]) => void> = Parameters<T> extends [infer R] ? R : string;

Конечно, если нет необходимости скармливать в дженерик не функции.