Promise에서 then타입 질문 있습니다.

Promise에서 then 메서드 타입을 분석할때가 잘 이해되지 않아서 질문 남깁니다.

p1을 아래와 같이 만들면

const p1 = Promise.resolve(1) // Promise<number>
  .then((a) => a + 1) // Promise<number>
  .then((a) => a.toString()); // Promise<string>

마지막.then((a) => a.toString()); 에서

T가 number가 되는것은 이해했지만

then의 타입을 보면

interface Promise<T> {
  then<TResult1 = T, TResult2 = never>(
    onfulfilled?:
      | ((value: T) => TResult1 | PromiseLike<TResult1>)
      | undefined
      | null,
    onrejected?:
      | ((reason: any) => TResult2 | PromiseLike<TResult2>)
      | undefined
      | null
  ): Promise<TResult1 | TResult2>;
}

TResult1 = T 부분이 이해가 안됩니다.

T가 number 타입이니 TResult도 number 타입이 되야하는것처럼 보입니다.

TResult가 T와 같은 타입이라면 then을 사용할 때 value와 return 타입이 항상 같이야 한다는 것이므로 잘못해석한 것인줄은 알지만 TResult1 = T 를 어떻게 해석해야 할지 잘 모르겠습니다.