선생님 제네릭에 관해서 질문 사항이 있습니다.

위와 같이 둘 다 같은 타입으로 바꾸시면 됩니다. 처음에 짤 때 하나씩만 바꿔서 문제가 생겼나 봅니다.
(a | b) & a = (a & a) | (b & a) = a | never = a
이런식으로 연산이 되니까 타입가드는 가능한데요. 연습이 아니라면 굳이 위의 코드를 제네릭으로 짤 필요는 없을 거 같긴 해요

function sum<T extends number | string>(n1: T | null, n2: T | null) {
    if(typeof n1 === 'string' && typeof n2 === 'string') {
        return n1 + n2 
    }
    return
}