|
1 | 1 | === tests/cases/compiler/instantiatedTypeAliasDisplay.ts ===
|
| 2 | + |
2 | 3 | // Repros from #12066
|
3 | 4 |
|
4 | 5 | interface X<A> {
|
5 | 6 | >X : Symbol(X, Decl(instantiatedTypeAliasDisplay.ts, 0, 0))
|
6 |
| ->A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 2, 12)) |
| 7 | +>A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 3, 12)) |
7 | 8 |
|
8 | 9 | a: A;
|
9 |
| ->a : Symbol(X.a, Decl(instantiatedTypeAliasDisplay.ts, 2, 16)) |
10 |
| ->A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 2, 12)) |
| 10 | +>a : Symbol(X.a, Decl(instantiatedTypeAliasDisplay.ts, 3, 16)) |
| 11 | +>A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 3, 12)) |
11 | 12 | }
|
12 | 13 | interface Y<B> {
|
13 |
| ->Y : Symbol(Y, Decl(instantiatedTypeAliasDisplay.ts, 4, 1)) |
14 |
| ->B : Symbol(B, Decl(instantiatedTypeAliasDisplay.ts, 5, 12)) |
| 14 | +>Y : Symbol(Y, Decl(instantiatedTypeAliasDisplay.ts, 5, 1)) |
| 15 | +>B : Symbol(B, Decl(instantiatedTypeAliasDisplay.ts, 6, 12)) |
15 | 16 |
|
16 | 17 | b: B;
|
17 |
| ->b : Symbol(Y.b, Decl(instantiatedTypeAliasDisplay.ts, 5, 16)) |
18 |
| ->B : Symbol(B, Decl(instantiatedTypeAliasDisplay.ts, 5, 12)) |
| 18 | +>b : Symbol(Y.b, Decl(instantiatedTypeAliasDisplay.ts, 6, 16)) |
| 19 | +>B : Symbol(B, Decl(instantiatedTypeAliasDisplay.ts, 6, 12)) |
19 | 20 | }
|
20 | 21 | type Z<A, B> = X<A> | Y<B>;
|
21 |
| ->Z : Symbol(Z, Decl(instantiatedTypeAliasDisplay.ts, 7, 1)) |
22 |
| ->A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 8, 7)) |
23 |
| ->B : Symbol(B, Decl(instantiatedTypeAliasDisplay.ts, 8, 9)) |
| 22 | +>Z : Symbol(Z, Decl(instantiatedTypeAliasDisplay.ts, 8, 1)) |
| 23 | +>A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 9, 7)) |
| 24 | +>B : Symbol(B, Decl(instantiatedTypeAliasDisplay.ts, 9, 9)) |
24 | 25 | >X : Symbol(X, Decl(instantiatedTypeAliasDisplay.ts, 0, 0))
|
25 |
| ->A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 8, 7)) |
26 |
| ->Y : Symbol(Y, Decl(instantiatedTypeAliasDisplay.ts, 4, 1)) |
27 |
| ->B : Symbol(B, Decl(instantiatedTypeAliasDisplay.ts, 8, 9)) |
| 26 | +>A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 9, 7)) |
| 27 | +>Y : Symbol(Y, Decl(instantiatedTypeAliasDisplay.ts, 5, 1)) |
| 28 | +>B : Symbol(B, Decl(instantiatedTypeAliasDisplay.ts, 9, 9)) |
28 | 29 |
|
29 | 30 | declare function f1<A>(): Z<A, number>;
|
30 |
| ->f1 : Symbol(f1, Decl(instantiatedTypeAliasDisplay.ts, 8, 27)) |
31 |
| ->A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 10, 20)) |
32 |
| ->Z : Symbol(Z, Decl(instantiatedTypeAliasDisplay.ts, 7, 1)) |
33 |
| ->A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 10, 20)) |
34 |
| - |
35 |
| -declare function f2<A, B, C, D, E>(a: A, b: B, c: C, d: D): Z<A, string[]>; |
36 |
| ->f2 : Symbol(f2, Decl(instantiatedTypeAliasDisplay.ts, 10, 39)) |
| 31 | +>f1 : Symbol(f1, Decl(instantiatedTypeAliasDisplay.ts, 9, 27)) |
37 | 32 | >A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 11, 20))
|
38 |
| ->B : Symbol(B, Decl(instantiatedTypeAliasDisplay.ts, 11, 22)) |
39 |
| ->C : Symbol(C, Decl(instantiatedTypeAliasDisplay.ts, 11, 25)) |
40 |
| ->D : Symbol(D, Decl(instantiatedTypeAliasDisplay.ts, 11, 28)) |
41 |
| ->E : Symbol(E, Decl(instantiatedTypeAliasDisplay.ts, 11, 31)) |
42 |
| ->a : Symbol(a, Decl(instantiatedTypeAliasDisplay.ts, 11, 35)) |
43 |
| ->A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 11, 20)) |
44 |
| ->b : Symbol(b, Decl(instantiatedTypeAliasDisplay.ts, 11, 40)) |
45 |
| ->B : Symbol(B, Decl(instantiatedTypeAliasDisplay.ts, 11, 22)) |
46 |
| ->c : Symbol(c, Decl(instantiatedTypeAliasDisplay.ts, 11, 46)) |
47 |
| ->C : Symbol(C, Decl(instantiatedTypeAliasDisplay.ts, 11, 25)) |
48 |
| ->d : Symbol(d, Decl(instantiatedTypeAliasDisplay.ts, 11, 52)) |
49 |
| ->D : Symbol(D, Decl(instantiatedTypeAliasDisplay.ts, 11, 28)) |
50 |
| ->Z : Symbol(Z, Decl(instantiatedTypeAliasDisplay.ts, 7, 1)) |
| 33 | +>Z : Symbol(Z, Decl(instantiatedTypeAliasDisplay.ts, 8, 1)) |
51 | 34 | >A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 11, 20))
|
52 | 35 |
|
| 36 | +declare function f2<A, B, C, D, E>(a: A, b: B, c: C, d: D): Z<A, string[]>; |
| 37 | +>f2 : Symbol(f2, Decl(instantiatedTypeAliasDisplay.ts, 11, 39)) |
| 38 | +>A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 12, 20)) |
| 39 | +>B : Symbol(B, Decl(instantiatedTypeAliasDisplay.ts, 12, 22)) |
| 40 | +>C : Symbol(C, Decl(instantiatedTypeAliasDisplay.ts, 12, 25)) |
| 41 | +>D : Symbol(D, Decl(instantiatedTypeAliasDisplay.ts, 12, 28)) |
| 42 | +>E : Symbol(E, Decl(instantiatedTypeAliasDisplay.ts, 12, 31)) |
| 43 | +>a : Symbol(a, Decl(instantiatedTypeAliasDisplay.ts, 12, 35)) |
| 44 | +>A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 12, 20)) |
| 45 | +>b : Symbol(b, Decl(instantiatedTypeAliasDisplay.ts, 12, 40)) |
| 46 | +>B : Symbol(B, Decl(instantiatedTypeAliasDisplay.ts, 12, 22)) |
| 47 | +>c : Symbol(c, Decl(instantiatedTypeAliasDisplay.ts, 12, 46)) |
| 48 | +>C : Symbol(C, Decl(instantiatedTypeAliasDisplay.ts, 12, 25)) |
| 49 | +>d : Symbol(d, Decl(instantiatedTypeAliasDisplay.ts, 12, 52)) |
| 50 | +>D : Symbol(D, Decl(instantiatedTypeAliasDisplay.ts, 12, 28)) |
| 51 | +>Z : Symbol(Z, Decl(instantiatedTypeAliasDisplay.ts, 8, 1)) |
| 52 | +>A : Symbol(A, Decl(instantiatedTypeAliasDisplay.ts, 12, 20)) |
| 53 | + |
53 | 54 | const x1 = f1<string>(); // Z<string, number>
|
54 |
| ->x1 : Symbol(x1, Decl(instantiatedTypeAliasDisplay.ts, 13, 5)) |
55 |
| ->f1 : Symbol(f1, Decl(instantiatedTypeAliasDisplay.ts, 8, 27)) |
| 55 | +>x1 : Symbol(x1, Decl(instantiatedTypeAliasDisplay.ts, 14, 5)) |
| 56 | +>f1 : Symbol(f1, Decl(instantiatedTypeAliasDisplay.ts, 9, 27)) |
56 | 57 |
|
57 | 58 | const x2 = f2({}, {}, {}, {}); // Z<{}, string[]>
|
58 |
| ->x2 : Symbol(x2, Decl(instantiatedTypeAliasDisplay.ts, 14, 5)) |
59 |
| ->f2 : Symbol(f2, Decl(instantiatedTypeAliasDisplay.ts, 10, 39)) |
| 59 | +>x2 : Symbol(x2, Decl(instantiatedTypeAliasDisplay.ts, 15, 5)) |
| 60 | +>f2 : Symbol(f2, Decl(instantiatedTypeAliasDisplay.ts, 11, 39)) |
60 | 61 |
|
0 commit comments