Схема типа общего типа в машинописном тексте [дубликат]

Вы не можете сузить тип общего параметра внутри функции. Поэтому, когда вы проверяете a, это не укажет компилятору, что такое тип b. И что еще более важно, он не скажет компилятору, каков должен быть тип возвращаемого значения функции

function add<T extends (number | string)>(a: T, b: T): T {
    if (typeof a === 'string' && typeof b === 'string') {
        let result = a + b; // result is string, we can apply + 
        return result as T; // still an error without the assertion, string is not T 
    } else if (typeof a === 'number' && typeof b === 'number') {
        let result = a + b; // result is number, we can apply +
        return result as T; // still an error without the assertion, number is not T  
    }
    throw "Unsupported parameter type combination"; // default case should not be reached
}

. В этом случае, возможно, имеется специальная подпись подписи, которая работает на объединении (это означает, что утверждение не является требуется), а публичная подпись - та, которую вы ранее использовали .:

function add<T extends number | string>(a: T, b: T): T
function add(a: number | string, b: number | string): number | string {
    if (typeof a === 'string' && typeof b === 'string') {
        return a + b;
    } else if (typeof a === 'number' && typeof b === 'number') {
        return a + b;
    }
    throw "Unsupported parameter type combination"; // default case should not be reached
}