|
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