Accept new baselines

Author: ahejlsberg

tests/baselines/reference/keyofAndIndexedAccess.errors.txt

@@ -37,8 +37,8 @@ tests/cases/conformance/types/keyof/keyofAndIndexedAccess.ts(318,5): error TS232
     type K02 = keyof number;  // "toString" | "toFixed" | "toExponential" | ...
     type K03 = keyof boolean;  // "valueOf"
     type K04 = keyof void;  // never
-    type K05 = keyof undefined;  // string | number | symbol
-    type K06 = keyof null;  // string | number | symbol
+    type K05 = keyof undefined;  // never
+    type K06 = keyof null;  // never
     type K07 = keyof never;  // string | number | symbol
     type K08 = keyof unknown; // never
 

tests/baselines/reference/keyofAndIndexedAccess.js

@@ -29,8 +29,8 @@ type K01 = keyof string;  // "toString" | "charAt" | ...
 type K02 = keyof number;  // "toString" | "toFixed" | "toExponential" | ...
 type K03 = keyof boolean;  // "valueOf"
 type K04 = keyof void;  // never
-type K05 = keyof undefined;  // string | number | symbol
-type K06 = keyof null;  // string | number | symbol
+type K05 = keyof undefined;  // never
+type K06 = keyof null;  // never
 type K07 = keyof never;  // string | number | symbol
 type K08 = keyof unknown; // never
 

tests/baselines/reference/keyofAndIndexedAccess.symbols

@@ -73,10 +73,10 @@ type K03 = keyof boolean;  // "valueOf"
 type K04 = keyof void;  // never
 >K04 : Symbol(K04, Decl(keyofAndIndexedAccess.ts, 28, 25))
 
-type K05 = keyof undefined;  // string | number | symbol
+type K05 = keyof undefined;  // never
 >K05 : Symbol(K05, Decl(keyofAndIndexedAccess.ts, 29, 22))
 
-type K06 = keyof null;  // string | number | symbol
+type K06 = keyof null;  // never
 >K06 : Symbol(K06, Decl(keyofAndIndexedAccess.ts, 30, 27))
 
 type K07 = keyof never;  // string | number | symbol

tests/baselines/reference/keyofAndIndexedAccess.types

@@ -69,11 +69,11 @@ type K03 = keyof boolean;  // "valueOf"
 type K04 = keyof void;  // never
 >K04 : never
 
-type K05 = keyof undefined;  // string | number | symbol
->K05 : string | number | symbol
+type K05 = keyof undefined;  // never
+>K05 : never
 
-type K06 = keyof null;  // string | number | symbol
->K06 : string | number | symbol
+type K06 = keyof null;  // never
+>K06 : never
 >null : null
 
 type K07 = keyof never;  // string | number | symbol

tests/baselines/reference/mappedTypes4.js

@@ -63,7 +63,7 @@ var x1: DeepReadonlyFoo;
 
 type Z = { a: number };
 type Clone<T> = {
-  [P in keyof (T & {})]: T[P];
+  [P in keyof (T & {})]: (T & {})[P];
 };
 type M = Clone<Z>; // M should be { a: number }
 
@@ -144,7 +144,7 @@ declare type Z = {
     a: number;
 };
 declare type Clone<T> = {
-    [P in keyof (T & {})]: T[P];
+    [P in keyof (T & {})]: (T & {})[P];
 };
 declare type M = Clone<Z>;
 declare var z1: Z;

tests/baselines/reference/mappedTypes4.symbols

@@ -205,7 +205,7 @@ type Clone<T> = {
 >Clone : Symbol(Clone, Decl(mappedTypes4.ts, 62, 23))
 >T : Symbol(T, Decl(mappedTypes4.ts, 63, 11))
 
-  [P in keyof (T & {})]: T[P];
+  [P in keyof (T & {})]: (T & {})[P];
 >P : Symbol(P, Decl(mappedTypes4.ts, 64, 3))
 >T : Symbol(T, Decl(mappedTypes4.ts, 63, 11))
 >T : Symbol(T, Decl(mappedTypes4.ts, 63, 11))

tests/baselines/reference/mappedTypes4.types

@@ -160,10 +160,10 @@ type Z = { a: number };
 type Clone<T> = {
 >Clone : Clone<T>
 
-  [P in keyof (T & {})]: T[P];
+  [P in keyof (T & {})]: (T & {})[P];
 };
 type M = Clone<Z>; // M should be { a: number }
->M : Clone<Z>
+>M : { a: number; }
 
 var z1: Z;
 >z1 : Z