33=== relationComplexityError.ts ===
44// Repro from #55630
55
6- type Digits = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' ;
6+ type Digits = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7';
77>Digits : Symbol(Digits, Decl(relationComplexityError.ts, 0, 0))
88
99type T1 = `${Digits}${Digits}${Digits}${Digits}` | undefined;
10- >T1 : Symbol(T1, Decl(relationComplexityError.ts, 2, 72 ))
10+ >T1 : Symbol(T1, Decl(relationComplexityError.ts, 2, 60 ))
1111>Digits : Symbol(Digits, Decl(relationComplexityError.ts, 0, 0))
1212>Digits : Symbol(Digits, Decl(relationComplexityError.ts, 0, 0))
1313>Digits : Symbol(Digits, Decl(relationComplexityError.ts, 0, 0))
@@ -21,9 +21,9 @@ type T2 = { a: string } | { b: number };
2121function f1(x: T1, y: T1 & T2) {
2222>f1 : Symbol(f1, Decl(relationComplexityError.ts, 4, 40))
2323>x : Symbol(x, Decl(relationComplexityError.ts, 6, 12))
24- >T1 : Symbol(T1, Decl(relationComplexityError.ts, 2, 72 ))
24+ >T1 : Symbol(T1, Decl(relationComplexityError.ts, 2, 60 ))
2525>y : Symbol(y, Decl(relationComplexityError.ts, 6, 18))
26- >T1 : Symbol(T1, Decl(relationComplexityError.ts, 2, 72 ))
26+ >T1 : Symbol(T1, Decl(relationComplexityError.ts, 2, 60 ))
2727>T2 : Symbol(T2, Decl(relationComplexityError.ts, 3, 61))
2828
2929 x = y;
@@ -34,9 +34,9 @@ function f1(x: T1, y: T1 & T2) {
3434function f2(x: T1 | null, y: T1 & T2) {
3535>f2 : Symbol(f2, Decl(relationComplexityError.ts, 8, 1))
3636>x : Symbol(x, Decl(relationComplexityError.ts, 10, 12))
37- >T1 : Symbol(T1, Decl(relationComplexityError.ts, 2, 72 ))
37+ >T1 : Symbol(T1, Decl(relationComplexityError.ts, 2, 60 ))
3838>y : Symbol(y, Decl(relationComplexityError.ts, 10, 25))
39- >T1 : Symbol(T1, Decl(relationComplexityError.ts, 2, 72 ))
39+ >T1 : Symbol(T1, Decl(relationComplexityError.ts, 2, 60 ))
4040>T2 : Symbol(T2, Decl(relationComplexityError.ts, 3, 61))
4141
4242 x = y; // Complexity error
0 commit comments