Infer

Читается как «если T это массив чего-то, назови это что-то E и верни его».

В задании своя версия ReturnType, которая пока ничего не умеет:

export type MyReturnType<T> = unknown;

const count: MyReturnType<() => number> = 42;
export const doubled = count * 2;

Ошибка: «'count' is of type 'unknown'». MyReturnType для любой функции возвращает unknown, поэтому count оказывается неизвестным, и умножать его нельзя.

Нужно, чтобы тип проверял, является ли T функцией, и если да, доставал тип того, что она возвращает. Аргументы функции при этом не важны: подойти должна функция с любыми параметрами.

Подробнее: Inferring Within Conditional Types — справочник TypeScript.

Задание

Перепиши MyReturnType через условный тип с infer, чтобы он возвращал тип результата функции. Для () => number это должен быть number, и doubled должен посчитаться. Для не-функций верни never. Строки с count и doubled менять не нужно.