Skip to content

Commit ccf20d3

Browse files
ahejlsbergahejlsberg
committed
Accept new baselines
1 parent fc85ba9 commit ccf20d3

4 files changed

Lines changed: 47 additions & 16 deletions

File tree

‎tests/baselines/reference/api/tsserverlibrary.d.ts‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2015,6 +2015,7 @@ declare namespace ts {
20152015
members?: SymbolTable;
20162016
exports?: SymbolTable;
20172017
globalExports?: SymbolTable;
2018+
nameType?: Type;
20182019
}
20192020
enum InternalSymbolName {
20202021
Call = "__call",

‎tests/baselines/reference/api/typescript.d.ts‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2015,6 +2015,7 @@ declare namespace ts {
20152015
members?: SymbolTable;
20162016
exports?: SymbolTable;
20172017
globalExports?: SymbolTable;
2018+
nameType?: Type;
20182019
}
20192020
enum InternalSymbolName {
20202021
Call = "__call",

‎tests/baselines/reference/lateBoundConstraintTypeChecksCorrectly.errors.txt‎

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
tests/cases/compiler/lateBoundConstraintTypeChecksCorrectly.ts(17,16): error TS2536: Type 'unique symbol' cannot be used to index type 'T'.
2+
tests/cases/compiler/lateBoundConstraintTypeChecksCorrectly.ts(18,17): error TS2536: Type 'unique symbol' cannot be used to index type 'T'.
3+
4+
5+
==== tests/cases/compiler/lateBoundConstraintTypeChecksCorrectly.ts (2 errors) ====
6+
declare const fooProp: unique symbol;
7+
declare const barProp: unique symbol;
8+
9+
type BothProps = typeof fooProp | typeof barProp;
10+
11+
export interface Foo<T> {
12+
[fooProp]: T;
13+
[barProp]: string;
14+
}
15+
16+
function f<T extends Foo<number>>(x: T) {
17+
const abc = x[fooProp]; // expected: 'T[typeof fooProp]'
18+
19+
/**
20+
* Expected: no error
21+
*/
22+
const def: T[typeof fooProp] = x[fooProp];
23+
~~~~~~~~~~~~~~~~~
24+
!!! error TS2536: Type 'unique symbol' cannot be used to index type 'T'.
25+
const def2: T[typeof barProp] = x[barProp];
26+
~~~~~~~~~~~~~~~~~
27+
!!! error TS2536: Type 'unique symbol' cannot be used to index type 'T'.
28+
}
29+

‎tests/baselines/reference/objectLiteralNormalization.symbols‎

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -15,14 +15,14 @@ a1.a; // number
1515
>a : Symbol(a, Decl(objectLiteralNormalization.ts, 1, 11), Decl(objectLiteralNormalization.ts, 1, 21), Decl(objectLiteralNormalization.ts, 1, 39))
1616

1717
a1.b; // string | undefined
18-
>a1.b : Symbol(b, Decl(objectLiteralNormalization.ts, 1, 27), Decl(objectLiteralNormalization.ts, 1, 45))
18+
>a1.b : Symbol(b, Decl(objectLiteralNormalization.ts, 1, 45), Decl(objectLiteralNormalization.ts, 1, 27), Decl(objectLiteralNormalization.ts, 1, 45))
1919
>a1 : Symbol(a1, Decl(objectLiteralNormalization.ts, 1, 3))
20-
>b : Symbol(b, Decl(objectLiteralNormalization.ts, 1, 27), Decl(objectLiteralNormalization.ts, 1, 45))
20+
>b : Symbol(b, Decl(objectLiteralNormalization.ts, 1, 45), Decl(objectLiteralNormalization.ts, 1, 27), Decl(objectLiteralNormalization.ts, 1, 45))
2121

2222
a1.c; // boolean | undefined
23-
>a1.c : Symbol(c, Decl(objectLiteralNormalization.ts, 1, 53))
23+
>a1.c : Symbol(c, Decl(objectLiteralNormalization.ts, 1, 53), Decl(objectLiteralNormalization.ts, 1, 53))
2424
>a1 : Symbol(a1, Decl(objectLiteralNormalization.ts, 1, 3))
25-
>c : Symbol(c, Decl(objectLiteralNormalization.ts, 1, 53))
25+
>c : Symbol(c, Decl(objectLiteralNormalization.ts, 1, 53), Decl(objectLiteralNormalization.ts, 1, 53))
2626

2727
a1 = { a: 1 };
2828
>a1 : Symbol(a1, Decl(objectLiteralNormalization.ts, 1, 3))
@@ -48,14 +48,14 @@ let a2 = [{ a: 1, b: 2 }, { a: "abc" }, {}][0];
4848
>a : Symbol(a, Decl(objectLiteralNormalization.ts, 10, 27))
4949

5050
a2.a; // string | number | undefined
51-
>a2.a : Symbol(a, Decl(objectLiteralNormalization.ts, 10, 11), Decl(objectLiteralNormalization.ts, 10, 27))
51+
>a2.a : Symbol(a, Decl(objectLiteralNormalization.ts, 10, 11), Decl(objectLiteralNormalization.ts, 10, 27), Decl(objectLiteralNormalization.ts, 10, 27))
5252
>a2 : Symbol(a2, Decl(objectLiteralNormalization.ts, 10, 3))
53-
>a : Symbol(a, Decl(objectLiteralNormalization.ts, 10, 11), Decl(objectLiteralNormalization.ts, 10, 27))
53+
>a : Symbol(a, Decl(objectLiteralNormalization.ts, 10, 11), Decl(objectLiteralNormalization.ts, 10, 27), Decl(objectLiteralNormalization.ts, 10, 27))
5454

5555
a2.b; // number | undefined
56-
>a2.b : Symbol(b, Decl(objectLiteralNormalization.ts, 10, 17))
56+
>a2.b : Symbol(b, Decl(objectLiteralNormalization.ts, 10, 17), Decl(objectLiteralNormalization.ts, 1, 45))
5757
>a2 : Symbol(a2, Decl(objectLiteralNormalization.ts, 10, 3))
58-
>b : Symbol(b, Decl(objectLiteralNormalization.ts, 10, 17))
58+
>b : Symbol(b, Decl(objectLiteralNormalization.ts, 10, 17), Decl(objectLiteralNormalization.ts, 1, 45))
5959

6060
a2 = { a: 10, b: 20 };
6161
>a2 : Symbol(a2, Decl(objectLiteralNormalization.ts, 10, 3))
@@ -144,32 +144,32 @@ d1.pos;
144144
>pos : Symbol(pos, Decl(objectLiteralNormalization.ts, 33, 22), Decl(objectLiteralNormalization.ts, 33, 58))
145145

146146
d1.pos.x;
147-
>d1.pos.x : Symbol(x, Decl(objectLiteralNormalization.ts, 33, 29))
147+
>d1.pos.x : Symbol(x, Decl(objectLiteralNormalization.ts, 33, 29), Decl(objectLiteralNormalization.ts, 33, 29))
148148
>d1.pos : Symbol(pos, Decl(objectLiteralNormalization.ts, 33, 22), Decl(objectLiteralNormalization.ts, 33, 58))
149149
>d1 : Symbol(d1, Decl(objectLiteralNormalization.ts, 33, 3))
150150
>pos : Symbol(pos, Decl(objectLiteralNormalization.ts, 33, 22), Decl(objectLiteralNormalization.ts, 33, 58))
151-
>x : Symbol(x, Decl(objectLiteralNormalization.ts, 33, 29))
151+
>x : Symbol(x, Decl(objectLiteralNormalization.ts, 33, 29), Decl(objectLiteralNormalization.ts, 33, 29))
152152

153153
d1.pos.y;
154-
>d1.pos.y : Symbol(y, Decl(objectLiteralNormalization.ts, 33, 35))
154+
>d1.pos.y : Symbol(y, Decl(objectLiteralNormalization.ts, 33, 35), Decl(objectLiteralNormalization.ts, 33, 35))
155155
>d1.pos : Symbol(pos, Decl(objectLiteralNormalization.ts, 33, 22), Decl(objectLiteralNormalization.ts, 33, 58))
156156
>d1 : Symbol(d1, Decl(objectLiteralNormalization.ts, 33, 3))
157157
>pos : Symbol(pos, Decl(objectLiteralNormalization.ts, 33, 22), Decl(objectLiteralNormalization.ts, 33, 58))
158-
>y : Symbol(y, Decl(objectLiteralNormalization.ts, 33, 35))
158+
>y : Symbol(y, Decl(objectLiteralNormalization.ts, 33, 35), Decl(objectLiteralNormalization.ts, 33, 35))
159159

160160
d1.pos.a;
161-
>d1.pos.a : Symbol(a, Decl(objectLiteralNormalization.ts, 33, 73))
161+
>d1.pos.a : Symbol(a, Decl(objectLiteralNormalization.ts, 10, 27), Decl(objectLiteralNormalization.ts, 33, 73))
162162
>d1.pos : Symbol(pos, Decl(objectLiteralNormalization.ts, 33, 22), Decl(objectLiteralNormalization.ts, 33, 58))
163163
>d1 : Symbol(d1, Decl(objectLiteralNormalization.ts, 33, 3))
164164
>pos : Symbol(pos, Decl(objectLiteralNormalization.ts, 33, 22), Decl(objectLiteralNormalization.ts, 33, 58))
165-
>a : Symbol(a, Decl(objectLiteralNormalization.ts, 33, 73))
165+
>a : Symbol(a, Decl(objectLiteralNormalization.ts, 10, 27), Decl(objectLiteralNormalization.ts, 33, 73))
166166

167167
d1.pos.b;
168-
>d1.pos.b : Symbol(b, Decl(objectLiteralNormalization.ts, 33, 86))
168+
>d1.pos.b : Symbol(b, Decl(objectLiteralNormalization.ts, 1, 45), Decl(objectLiteralNormalization.ts, 33, 86))
169169
>d1.pos : Symbol(pos, Decl(objectLiteralNormalization.ts, 33, 22), Decl(objectLiteralNormalization.ts, 33, 58))
170170
>d1 : Symbol(d1, Decl(objectLiteralNormalization.ts, 33, 3))
171171
>pos : Symbol(pos, Decl(objectLiteralNormalization.ts, 33, 22), Decl(objectLiteralNormalization.ts, 33, 58))
172-
>b : Symbol(b, Decl(objectLiteralNormalization.ts, 33, 86))
172+
>b : Symbol(b, Decl(objectLiteralNormalization.ts, 1, 45), Decl(objectLiteralNormalization.ts, 33, 86))
173173

174174
declare function f<T>(...items: T[]): T;
175175
>f : Symbol(f, Decl(objectLiteralNormalization.ts, 39, 9))

0 commit comments

Comments
 (0)