|
1 | 1 | === tests/cases/compiler/indexedAccessTypeConstraints.ts ===
|
2 |
| - |
3 | 2 | // Repro from #14557
|
4 | 3 |
|
5 | 4 | interface IData<T> {
|
6 | 5 | >IData : Symbol(IData, Decl(indexedAccessTypeConstraints.ts, 0, 0))
|
7 |
| ->T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 3, 16)) |
| 6 | +>T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 2, 16)) |
8 | 7 |
|
9 | 8 | content: T;
|
10 |
| ->content : Symbol(IData.content, Decl(indexedAccessTypeConstraints.ts, 3, 20)) |
11 |
| ->T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 3, 16)) |
| 9 | +>content : Symbol(IData.content, Decl(indexedAccessTypeConstraints.ts, 2, 20)) |
| 10 | +>T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 2, 16)) |
12 | 11 | }
|
13 | 12 |
|
14 | 13 | type Data<T> = {
|
15 |
| ->Data : Symbol(Data, Decl(indexedAccessTypeConstraints.ts, 5, 1)) |
16 |
| ->T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 7, 10)) |
| 14 | +>Data : Symbol(Data, Decl(indexedAccessTypeConstraints.ts, 4, 1)) |
| 15 | +>T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 6, 10)) |
17 | 16 |
|
18 | 17 | get: <K extends keyof T>(prop: K) => T[K];
|
19 |
| ->get : Symbol(get, Decl(indexedAccessTypeConstraints.ts, 7, 16)) |
20 |
| ->K : Symbol(K, Decl(indexedAccessTypeConstraints.ts, 8, 10)) |
21 |
| ->T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 7, 10)) |
22 |
| ->prop : Symbol(prop, Decl(indexedAccessTypeConstraints.ts, 8, 29)) |
23 |
| ->K : Symbol(K, Decl(indexedAccessTypeConstraints.ts, 8, 10)) |
24 |
| ->T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 7, 10)) |
25 |
| ->K : Symbol(K, Decl(indexedAccessTypeConstraints.ts, 8, 10)) |
| 18 | +>get : Symbol(get, Decl(indexedAccessTypeConstraints.ts, 6, 16)) |
| 19 | +>K : Symbol(K, Decl(indexedAccessTypeConstraints.ts, 7, 10)) |
| 20 | +>T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 6, 10)) |
| 21 | +>prop : Symbol(prop, Decl(indexedAccessTypeConstraints.ts, 7, 29)) |
| 22 | +>K : Symbol(K, Decl(indexedAccessTypeConstraints.ts, 7, 10)) |
| 23 | +>T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 6, 10)) |
| 24 | +>K : Symbol(K, Decl(indexedAccessTypeConstraints.ts, 7, 10)) |
26 | 25 |
|
27 | 26 | };
|
28 | 27 |
|
29 | 28 | class Parent<M> {
|
30 |
| ->Parent : Symbol(Parent, Decl(indexedAccessTypeConstraints.ts, 9, 2)) |
31 |
| ->M : Symbol(M, Decl(indexedAccessTypeConstraints.ts, 11, 13)) |
| 29 | +>Parent : Symbol(Parent, Decl(indexedAccessTypeConstraints.ts, 8, 2)) |
| 30 | +>M : Symbol(M, Decl(indexedAccessTypeConstraints.ts, 10, 13)) |
32 | 31 |
|
33 | 32 | private data: Data<M>;
|
34 |
| ->data : Symbol(Parent.data, Decl(indexedAccessTypeConstraints.ts, 11, 17)) |
35 |
| ->Data : Symbol(Data, Decl(indexedAccessTypeConstraints.ts, 5, 1)) |
36 |
| ->M : Symbol(M, Decl(indexedAccessTypeConstraints.ts, 11, 13)) |
| 33 | +>data : Symbol(Parent.data, Decl(indexedAccessTypeConstraints.ts, 10, 17)) |
| 34 | +>Data : Symbol(Data, Decl(indexedAccessTypeConstraints.ts, 4, 1)) |
| 35 | +>M : Symbol(M, Decl(indexedAccessTypeConstraints.ts, 10, 13)) |
37 | 36 |
|
38 | 37 | getData(): Data<M> {
|
39 |
| ->getData : Symbol(Parent.getData, Decl(indexedAccessTypeConstraints.ts, 12, 26)) |
40 |
| ->Data : Symbol(Data, Decl(indexedAccessTypeConstraints.ts, 5, 1)) |
41 |
| ->M : Symbol(M, Decl(indexedAccessTypeConstraints.ts, 11, 13)) |
| 38 | +>getData : Symbol(Parent.getData, Decl(indexedAccessTypeConstraints.ts, 11, 26)) |
| 39 | +>Data : Symbol(Data, Decl(indexedAccessTypeConstraints.ts, 4, 1)) |
| 40 | +>M : Symbol(M, Decl(indexedAccessTypeConstraints.ts, 10, 13)) |
42 | 41 |
|
43 | 42 | return this.data;
|
44 |
| ->this.data : Symbol(Parent.data, Decl(indexedAccessTypeConstraints.ts, 11, 17)) |
45 |
| ->this : Symbol(Parent, Decl(indexedAccessTypeConstraints.ts, 9, 2)) |
46 |
| ->data : Symbol(Parent.data, Decl(indexedAccessTypeConstraints.ts, 11, 17)) |
| 43 | +>this.data : Symbol(Parent.data, Decl(indexedAccessTypeConstraints.ts, 10, 17)) |
| 44 | +>this : Symbol(Parent, Decl(indexedAccessTypeConstraints.ts, 8, 2)) |
| 45 | +>data : Symbol(Parent.data, Decl(indexedAccessTypeConstraints.ts, 10, 17)) |
47 | 46 | }
|
48 | 47 | }
|
49 | 48 |
|
50 | 49 | export class Foo<C> extends Parent<IData<C>> {
|
51 |
| ->Foo : Symbol(Foo, Decl(indexedAccessTypeConstraints.ts, 16, 1)) |
52 |
| ->C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 18, 17)) |
53 |
| ->Parent : Symbol(Parent, Decl(indexedAccessTypeConstraints.ts, 9, 2)) |
| 50 | +>Foo : Symbol(Foo, Decl(indexedAccessTypeConstraints.ts, 15, 1)) |
| 51 | +>C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 17, 17)) |
| 52 | +>Parent : Symbol(Parent, Decl(indexedAccessTypeConstraints.ts, 8, 2)) |
54 | 53 | >IData : Symbol(IData, Decl(indexedAccessTypeConstraints.ts, 0, 0))
|
55 |
| ->C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 18, 17)) |
| 54 | +>C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 17, 17)) |
56 | 55 |
|
57 | 56 | getContent(): C {
|
58 |
| ->getContent : Symbol(Foo.getContent, Decl(indexedAccessTypeConstraints.ts, 18, 46)) |
59 |
| ->C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 18, 17)) |
| 57 | +>getContent : Symbol(Foo.getContent, Decl(indexedAccessTypeConstraints.ts, 17, 46)) |
| 58 | +>C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 17, 17)) |
60 | 59 |
|
61 | 60 | return this.getData().get('content');
|
62 |
| ->this.getData().get : Symbol(get, Decl(indexedAccessTypeConstraints.ts, 7, 16)) |
63 |
| ->this.getData : Symbol(Parent.getData, Decl(indexedAccessTypeConstraints.ts, 12, 26)) |
64 |
| ->this : Symbol(Foo, Decl(indexedAccessTypeConstraints.ts, 16, 1)) |
65 |
| ->getData : Symbol(Parent.getData, Decl(indexedAccessTypeConstraints.ts, 12, 26)) |
66 |
| ->get : Symbol(get, Decl(indexedAccessTypeConstraints.ts, 7, 16)) |
| 61 | +>this.getData().get : Symbol(get, Decl(indexedAccessTypeConstraints.ts, 6, 16)) |
| 62 | +>this.getData : Symbol(Parent.getData, Decl(indexedAccessTypeConstraints.ts, 11, 26)) |
| 63 | +>this : Symbol(Foo, Decl(indexedAccessTypeConstraints.ts, 15, 1)) |
| 64 | +>getData : Symbol(Parent.getData, Decl(indexedAccessTypeConstraints.ts, 11, 26)) |
| 65 | +>get : Symbol(get, Decl(indexedAccessTypeConstraints.ts, 6, 16)) |
67 | 66 | }
|
68 | 67 | }
|
69 | 68 |
|
70 | 69 | export class Bar<C, T extends IData<C>> extends Parent<T> {
|
71 |
| ->Bar : Symbol(Bar, Decl(indexedAccessTypeConstraints.ts, 22, 1)) |
72 |
| ->C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 24, 17)) |
73 |
| ->T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 24, 19)) |
| 70 | +>Bar : Symbol(Bar, Decl(indexedAccessTypeConstraints.ts, 21, 1)) |
| 71 | +>C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 23, 17)) |
| 72 | +>T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 23, 19)) |
74 | 73 | >IData : Symbol(IData, Decl(indexedAccessTypeConstraints.ts, 0, 0))
|
75 |
| ->C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 24, 17)) |
76 |
| ->Parent : Symbol(Parent, Decl(indexedAccessTypeConstraints.ts, 9, 2)) |
77 |
| ->T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 24, 19)) |
| 74 | +>C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 23, 17)) |
| 75 | +>Parent : Symbol(Parent, Decl(indexedAccessTypeConstraints.ts, 8, 2)) |
| 76 | +>T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 23, 19)) |
78 | 77 |
|
79 | 78 | getContent(): C {
|
80 |
| ->getContent : Symbol(Bar.getContent, Decl(indexedAccessTypeConstraints.ts, 24, 59)) |
81 |
| ->C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 24, 17)) |
| 79 | +>getContent : Symbol(Bar.getContent, Decl(indexedAccessTypeConstraints.ts, 23, 59)) |
| 80 | +>C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 23, 17)) |
82 | 81 |
|
83 | 82 | return this.getData().get('content');
|
84 |
| ->this.getData().get : Symbol(get, Decl(indexedAccessTypeConstraints.ts, 7, 16)) |
85 |
| ->this.getData : Symbol(Parent.getData, Decl(indexedAccessTypeConstraints.ts, 12, 26)) |
86 |
| ->this : Symbol(Bar, Decl(indexedAccessTypeConstraints.ts, 22, 1)) |
87 |
| ->getData : Symbol(Parent.getData, Decl(indexedAccessTypeConstraints.ts, 12, 26)) |
88 |
| ->get : Symbol(get, Decl(indexedAccessTypeConstraints.ts, 7, 16)) |
| 83 | +>this.getData().get : Symbol(get, Decl(indexedAccessTypeConstraints.ts, 6, 16)) |
| 84 | +>this.getData : Symbol(Parent.getData, Decl(indexedAccessTypeConstraints.ts, 11, 26)) |
| 85 | +>this : Symbol(Bar, Decl(indexedAccessTypeConstraints.ts, 21, 1)) |
| 86 | +>getData : Symbol(Parent.getData, Decl(indexedAccessTypeConstraints.ts, 11, 26)) |
| 87 | +>get : Symbol(get, Decl(indexedAccessTypeConstraints.ts, 6, 16)) |
89 | 88 | }
|
90 | 89 | }
|
91 | 90 |
|
92 | 91 | // Repro from #14557
|
93 | 92 |
|
94 | 93 | function foo<C, T extends { content: C }>(x: C, y: T['content']) {
|
95 |
| ->foo : Symbol(foo, Decl(indexedAccessTypeConstraints.ts, 28, 1)) |
96 |
| ->C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 32, 13)) |
97 |
| ->T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 32, 15)) |
98 |
| ->content : Symbol(content, Decl(indexedAccessTypeConstraints.ts, 32, 27)) |
99 |
| ->C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 32, 13)) |
100 |
| ->x : Symbol(x, Decl(indexedAccessTypeConstraints.ts, 32, 42)) |
101 |
| ->C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 32, 13)) |
102 |
| ->y : Symbol(y, Decl(indexedAccessTypeConstraints.ts, 32, 47)) |
103 |
| ->T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 32, 15)) |
| 94 | +>foo : Symbol(foo, Decl(indexedAccessTypeConstraints.ts, 27, 1)) |
| 95 | +>C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 31, 13)) |
| 96 | +>T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 31, 15)) |
| 97 | +>content : Symbol(content, Decl(indexedAccessTypeConstraints.ts, 31, 27)) |
| 98 | +>C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 31, 13)) |
| 99 | +>x : Symbol(x, Decl(indexedAccessTypeConstraints.ts, 31, 42)) |
| 100 | +>C : Symbol(C, Decl(indexedAccessTypeConstraints.ts, 31, 13)) |
| 101 | +>y : Symbol(y, Decl(indexedAccessTypeConstraints.ts, 31, 47)) |
| 102 | +>T : Symbol(T, Decl(indexedAccessTypeConstraints.ts, 31, 15)) |
104 | 103 |
|
105 | 104 | x = y;
|
106 |
| ->x : Symbol(x, Decl(indexedAccessTypeConstraints.ts, 32, 42)) |
107 |
| ->y : Symbol(y, Decl(indexedAccessTypeConstraints.ts, 32, 47)) |
| 105 | +>x : Symbol(x, Decl(indexedAccessTypeConstraints.ts, 31, 42)) |
| 106 | +>y : Symbol(y, Decl(indexedAccessTypeConstraints.ts, 31, 47)) |
108 | 107 | }
|
109 | 108 |
|
0 commit comments