Skip to content

Commit cf998bf

Browse files
ahejlsbergahejlsberg
committed
Accept new baselines
1 parent 3d3ed04 commit cf998bf

6 files changed

Lines changed: 154 additions & 94 deletions

‎tests/baselines/reference/isomorphicMappedTypeInference.types‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,7 @@ function boxify<T>(obj: T): Boxified<T> {
6969

7070
result[k] = box(obj[k]);
7171
>result[k] = box(obj[k]) : Box<T[keyof T]>
72-
>result[k] : Box<T[keyof T]>
72+
>result[k] : Boxified<T>[keyof T]
7373
>result : Boxified<T>
7474
>k : keyof T
7575
>box(obj[k]) : Box<T[keyof T]>
@@ -107,7 +107,7 @@ function unboxify<T>(obj: Boxified<T>): T {
107107
>k : keyof T
108108
>unbox(obj[k]) : T[keyof T]
109109
>unbox : <T>(x: Box<T>) => T
110-
>obj[k] : Box<T[keyof T]>
110+
>obj[k] : Boxified<T>[keyof T]
111111
>obj : Boxified<T>
112112
>k : keyof T
113113
}
@@ -131,7 +131,7 @@ function assignBoxified<T>(obj: Boxified<T>, values: T) {
131131
obj[k].value = values[k];
132132
>obj[k].value = values[k] : T[keyof T]
133133
>obj[k].value : T[keyof T]
134-
>obj[k] : Box<T[keyof T]>
134+
>obj[k] : Boxified<T>[keyof T]
135135
>obj : Boxified<T>
136136
>k : keyof T
137137
>value : T[keyof T]

‎tests/baselines/reference/keyofAndForIn.types‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -27,8 +27,8 @@ function f1<K extends string, T>(obj: { [P in K]: T }, k: K) {
2727
>obj : { [P in K]: T; }
2828

2929
let x1 = obj[k1];
30-
>x1 : T
31-
>obj[k1] : T
30+
>x1 : { [P in K]: T; }[K]
31+
>obj[k1] : { [P in K]: T; }[K]
3232
>obj : { [P in K]: T; }
3333
>k1 : K
3434
}
@@ -37,8 +37,8 @@ function f1<K extends string, T>(obj: { [P in K]: T }, k: K) {
3737
>obj : { [P in K]: T; }
3838

3939
let x2 = obj[k2];
40-
>x2 : T
41-
>obj[k2] : T
40+
>x2 : { [P in K]: T; }[K]
41+
>obj[k2] : { [P in K]: T; }[K]
4242
>obj : { [P in K]: T; }
4343
>k2 : K
4444
}
@@ -70,8 +70,8 @@ function f2<T>(obj: { [P in keyof T]: T[P] }, k: keyof T) {
7070
>obj : { [P in keyof T]: T[P]; }
7171

7272
let x1 = obj[k1];
73-
>x1 : T[keyof T]
74-
>obj[k1] : T[keyof T]
73+
>x1 : { [P in keyof T]: T[P]; }[keyof T]
74+
>obj[k1] : { [P in keyof T]: T[P]; }[keyof T]
7575
>obj : { [P in keyof T]: T[P]; }
7676
>k1 : keyof T
7777
}
@@ -80,8 +80,8 @@ function f2<T>(obj: { [P in keyof T]: T[P] }, k: keyof T) {
8080
>obj : { [P in keyof T]: T[P]; }
8181

8282
let x2 = obj[k2];
83-
>x2 : T[keyof T]
84-
>obj[k2] : T[keyof T]
83+
>x2 : { [P in keyof T]: T[P]; }[keyof T]
84+
>obj[k2] : { [P in keyof T]: T[P]; }[keyof T]
8585
>obj : { [P in keyof T]: T[P]; }
8686
>k2 : keyof T
8787
}
@@ -115,8 +115,8 @@ function f3<T, K extends keyof T>(obj: { [P in K]: T[P] }, k: K) {
115115
>obj : { [P in K]: T[P]; }
116116

117117
let x1 = obj[k1];
118-
>x1 : T[K]
119-
>obj[k1] : T[K]
118+
>x1 : { [P in K]: T[P]; }[K]
119+
>obj[k1] : { [P in K]: T[P]; }[K]
120120
>obj : { [P in K]: T[P]; }
121121
>k1 : K
122122
}
@@ -125,8 +125,8 @@ function f3<T, K extends keyof T>(obj: { [P in K]: T[P] }, k: K) {
125125
>obj : { [P in K]: T[P]; }
126126

127127
let x2 = obj[k2];
128-
>x2 : T[K]
129-
>obj[k2] : T[K]
128+
>x2 : { [P in K]: T[P]; }[K]
129+
>obj[k2] : { [P in K]: T[P]; }[K]
130130
>obj : { [P in K]: T[P]; }
131131
>k2 : K
132132
}

‎tests/baselines/reference/keyofAndIndexedAccess.types‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2194,7 +2194,7 @@ class Form<T> {
21942194

21952195
this.childFormFactories[prop](value)
21962196
>this.childFormFactories[prop](value) : Form<T[K]>
2197-
>this.childFormFactories[prop] : (v: T[K]) => Form<T[K]>
2197+
>this.childFormFactories[prop] : { [K in keyof T]: (v: T[K]) => Form<T[K]>; }[K]
21982198
>this.childFormFactories : { [K in keyof T]: (v: T[K]) => Form<T[K]>; }
21992199
>this : this
22002200
>childFormFactories : { [K in keyof T]: (v: T[K]) => Form<T[K]>; }

0 commit comments

Comments
 (0)