extends any ? (x: T) => any : never) extends (x: infer R) => any ? R : never;
возможно, не работает с never. Вообще тут идёт через параметр функции, хотят сделать контр-вариантный extends
Обсуждают сегодня