flat 부분만 따로 떼어내면 다음과 같습니다.
lib.es2019.array.d.ts
interface Array<T> {
flat<A, D extends number = 1>(
this: A,
depth?: D
): FlatArray<A, D>[]
}
flat 메서드의 매개변수는 A와 D 타입입니다. A는 this 타입으로 되어 있는 것으로 보아 원본 배열을 의미하고, D는 flat 메서드의 매개변수인 낮출 차원 수를 의미합니다. 차원 수이므로 number이고 인수를 제공하지 않으면 기본적으로 한 차원을 낮추므로 D extends number = 1로 되어 있습니다. flat 메서드는 FlatArray<A, D>[]를 반환한다고 되어 있으므로 FlatArray를 분석해야 합니다.
lib.es2019.array.d.ts
type FlatArray<Arr, Depth extends number> = {
"done": Arr,
"recur": Arr extends ReadonlyArray<infer InnerArr>
? FlatArray<InnerArr, [-1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20][Depth]>
: Arr
}[Depth extends -1 ? "done" : "recur"];