Accept new baselines

Author: ahejlsberg

tests/baselines/reference/indexingTypesWithNever.types

@@ -69,8 +69,8 @@ declare function genericFn3<
 
 // Should be never
 const result5 = genericFn3({ g: "gtest", h: "htest" }, "g", "h"); // 'g' & 'h' will reduce to never
->result5 : unknown
->genericFn3({ g: "gtest", h: "htest" }, "g", "h") : unknown
+>result5 : never
+>genericFn3({ g: "gtest", h: "htest" }, "g", "h") : never
 >genericFn3 : <T extends { [K in keyof T]: T[K]; }, U extends keyof T, V extends keyof T>(obj: T, u: U, v: V) => T[U & V]
 >{ g: "gtest", h: "htest" } : { g: string; h: string; }
 >g : string

tests/baselines/reference/inferTypes1.errors.txt

@@ -107,7 +107,7 @@ tests/cases/conformance/types/conditional/inferTypes1.ts(145,40): error TS2322:
     type T50 = X3<{}>;  // never
     type T51 = X3<{ a: (x: string) => void }>;  // never
     type T52 = X3<{ a: (x: string) => void, b: (x: string) => void }>;  // string
-    type T53 = X3<{ a: (x: number) => void, b: (x: string) => void }>;  // string & number
+    type T53 = X3<{ a: (x: number) => void, b: (x: string) => void }>;  // never
     type T54 = X3<{ a: (x: number) => void, b: () => void }>;  // number
 
     type T60 = infer U;  // Error

tests/baselines/reference/inferTypes1.js

@@ -69,7 +69,7 @@ type X3<T> = T extends { a: (x: infer U) => void, b: (x: infer U) => void } ? U
 type T50 = X3<{}>;  // never
 type T51 = X3<{ a: (x: string) => void }>;  // never
 type T52 = X3<{ a: (x: string) => void, b: (x: string) => void }>;  // string
-type T53 = X3<{ a: (x: number) => void, b: (x: string) => void }>;  // string & number
+type T53 = X3<{ a: (x: number) => void, b: (x: string) => void }>;  // never
 type T54 = X3<{ a: (x: number) => void, b: () => void }>;  // number
 
 type T60 = infer U;  // Error

tests/baselines/reference/inferTypes1.symbols

@@ -297,7 +297,7 @@ type T52 = X3<{ a: (x: string) => void, b: (x: string) => void }>;  // string
 >b : Symbol(b, Decl(inferTypes1.ts, 69, 39))
 >x : Symbol(x, Decl(inferTypes1.ts, 69, 44))
 
-type T53 = X3<{ a: (x: number) => void, b: (x: string) => void }>;  // string & number
+type T53 = X3<{ a: (x: number) => void, b: (x: string) => void }>;  // never
 >T53 : Symbol(T53, Decl(inferTypes1.ts, 69, 66))
 >X3 : Symbol(X3, Decl(inferTypes1.ts, 63, 52))
 >a : Symbol(a, Decl(inferTypes1.ts, 70, 15))

tests/baselines/reference/inferTypes1.types

@@ -211,8 +211,8 @@ type T52 = X3<{ a: (x: string) => void, b: (x: string) => void }>;  // string
 >b : (x: string) => void
 >x : string
 
-type T53 = X3<{ a: (x: number) => void, b: (x: string) => void }>;  // string & number
->T53 : number & string
+type T53 = X3<{ a: (x: number) => void, b: (x: string) => void }>;  // never
+>T53 : never
 >a : (x: number) => void
 >x : number
 >b : (x: string) => void

tests/baselines/reference/intersectionReduction.js

@@ -5,12 +5,12 @@ declare const sym1: unique symbol;
 declare const sym2: unique symbol;
 
 type T1 = string & 'a';  // 'a'
-type T2 = 'a' & string & 'b';  // 'a' & 'b'
+type T2 = 'a' & string & 'b';  // never
 type T3 = number & 10;  // 10
-type T4 = 10 & number & 20;  // 10 & 20
+type T4 = 10 & number & 20;  // never
 type T5 = symbol & typeof sym1;  // typeof sym1
-type T6 = typeof sym1 & symbol & typeof sym2;  // typeof sym1 & typeof sym2
-type T7 = string & 'a' & number & 10 & symbol & typeof sym1;  // 'a' & 10 & typeof sym1
+type T6 = typeof sym1 & symbol & typeof sym2;  // never
+type T7 = string & 'a' & number & 10 & symbol & typeof sym1;  // never
 
 type T10 = string & ('a' | 'b');  // 'a' | 'b'
 type T11 = (string | number) & ('a' | 10);  // 'a' | 10

tests/baselines/reference/intersectionReduction.symbols

@@ -10,25 +10,25 @@ declare const sym2: unique symbol;
 type T1 = string & 'a';  // 'a'
 >T1 : Symbol(T1, Decl(intersectionReduction.ts, 3, 34))
 
-type T2 = 'a' & string & 'b';  // 'a' & 'b'
+type T2 = 'a' & string & 'b';  // never
 >T2 : Symbol(T2, Decl(intersectionReduction.ts, 5, 23))
 
 type T3 = number & 10;  // 10
 >T3 : Symbol(T3, Decl(intersectionReduction.ts, 6, 29))
 
-type T4 = 10 & number & 20;  // 10 & 20
+type T4 = 10 & number & 20;  // never
 >T4 : Symbol(T4, Decl(intersectionReduction.ts, 7, 22))
 
 type T5 = symbol & typeof sym1;  // typeof sym1
 >T5 : Symbol(T5, Decl(intersectionReduction.ts, 8, 27))
 >sym1 : Symbol(sym1, Decl(intersectionReduction.ts, 2, 13))
 
-type T6 = typeof sym1 & symbol & typeof sym2;  // typeof sym1 & typeof sym2
+type T6 = typeof sym1 & symbol & typeof sym2;  // never
 >T6 : Symbol(T6, Decl(intersectionReduction.ts, 9, 31))
 >sym1 : Symbol(sym1, Decl(intersectionReduction.ts, 2, 13))
 >sym2 : Symbol(sym2, Decl(intersectionReduction.ts, 3, 13))
 
-type T7 = string & 'a' & number & 10 & symbol & typeof sym1;  // 'a' & 10 & typeof sym1
+type T7 = string & 'a' & number & 10 & symbol & typeof sym1;  // never
 >T7 : Symbol(T7, Decl(intersectionReduction.ts, 10, 45))
 >sym1 : Symbol(sym1, Decl(intersectionReduction.ts, 2, 13))
 

tests/baselines/reference/intersectionReduction.types

@@ -10,26 +10,26 @@ declare const sym2: unique symbol;
 type T1 = string & 'a';  // 'a'
 >T1 : "a"
 
-type T2 = 'a' & string & 'b';  // 'a' & 'b'
->T2 : T2
+type T2 = 'a' & string & 'b';  // never
+>T2 : never
 
 type T3 = number & 10;  // 10
 >T3 : 10
 
-type T4 = 10 & number & 20;  // 10 & 20
->T4 : T4
+type T4 = 10 & number & 20;  // never
+>T4 : never
 
 type T5 = symbol & typeof sym1;  // typeof sym1
 >T5 : unique symbol
 >sym1 : unique symbol
 
-type T6 = typeof sym1 & symbol & typeof sym2;  // typeof sym1 & typeof sym2
->T6 : T6
+type T6 = typeof sym1 & symbol & typeof sym2;  // never
+>T6 : never
 >sym1 : unique symbol
 >sym2 : unique symbol
 
-type T7 = string & 'a' & number & 10 & symbol & typeof sym1;  // 'a' & 10 & typeof sym1
->T7 : T7
+type T7 = string & 'a' & number & 10 & symbol & typeof sym1;  // never
+>T7 : never
 >sym1 : unique symbol
 
 type T10 = string & ('a' | 'b');  // 'a' | 'b'

tests/baselines/reference/intersectionTypeInference2.js

@@ -4,8 +4,8 @@ declare function f<T>(x: { prop: T }): T;
 declare const a: { prop: string } & { prop: number };
 declare const b: { prop: string & number };
 
-f(a);  // string & number
-f(b);  // string & number
+f(a);  // never
+f(b);  // never
 
 // Repro from #18354
 
@@ -17,7 +17,7 @@ f2(obj, 'b');
 
 
 //// [intersectionTypeInference2.js]
-f(a); // string & number
-f(b); // string & number
+f(a); // never
+f(b); // never
 f2(obj, 'a');
 f2(obj, 'b');

tests/baselines/reference/intersectionTypeInference2.symbols

@@ -16,11 +16,11 @@ declare const b: { prop: string & number };
 >b : Symbol(b, Decl(intersectionTypeInference2.ts, 3, 13))
 >prop : Symbol(prop, Decl(intersectionTypeInference2.ts, 3, 18))
 
-f(a);  // string & number
+f(a);  // never
 >f : Symbol(f, Decl(intersectionTypeInference2.ts, 0, 0))
 >a : Symbol(a, Decl(intersectionTypeInference2.ts, 2, 13))
 
-f(b);  // string & number
+f(b);  // never
 >f : Symbol(f, Decl(intersectionTypeInference2.ts, 0, 0))
 >b : Symbol(b, Decl(intersectionTypeInference2.ts, 3, 13))
 

tests/baselines/reference/intersectionTypeInference2.types

@@ -10,18 +10,18 @@ declare const a: { prop: string } & { prop: number };
 >prop : number
 
 declare const b: { prop: string & number };
->b : { prop: string & number; }
->prop : string & number
+>b : { prop: never; }
+>prop : never
 
-f(a);  // string & number
->f(a) : string & number
+f(a);  // never
+>f(a) : never
 >f : <T>(x: { prop: T; }) => T
 >a : { prop: string; } & { prop: number; }
 
-f(b);  // string & number
->f(b) : string & number
+f(b);  // never
+>f(b) : never
 >f : <T>(x: { prop: T; }) => T
->b : { prop: string & number; }
+>b : { prop: never; }
 
 // Repro from #18354
 

tests/baselines/reference/keyofAndIndexedAccess2.errors.txt

@@ -17,17 +17,15 @@ tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(31,5): error TS232
 tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(38,5): error TS2322: Type '{ [x: string]: number; }' is not assignable to type '{ [P in K]: number; }'.
 tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(50,3): error TS7053: Element implicitly has an 'any' type because expression of type 'string' can't be used to index type 'Item'.
   No index signature with a parameter of type 'string' was found on type 'Item'.
-tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(51,3): error TS2322: Type '123' is not assignable to type 'string & number'.
-  Type '123' is not assignable to type 'string'.
+tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(51,3): error TS2322: Type '123' is not assignable to type 'never'.
 tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(52,3): error TS2322: Type '123' is not assignable to type 'T[keyof T]'.
 tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(53,3): error TS2322: Type '123' is not assignable to type 'T[K]'.
 tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(65,7): error TS2339: Property 'foo' does not exist on type 'T'.
 tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(66,3): error TS2536: Type 'string' cannot be used to index type 'T'.
 tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(67,3): error TS2322: Type '123' is not assignable to type 'T[keyof T]'.
 tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(68,3): error TS2322: Type '123' is not assignable to type 'T[K]'.
 tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(108,5): error TS2322: Type '123' is not assignable to type 'Type[K]'.
-  Type '123' is not assignable to type '123 & "some string"'.
-    Type '123' is not assignable to type '"some string"'.
+  Type '123' is not assignable to type 'never'.
 
 
 ==== tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts (23 errors) ====
@@ -117,8 +115,7 @@ tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(108,5): error TS23
 !!! error TS7053:   No index signature with a parameter of type 'string' was found on type 'Item'.
       obj[k2] = 123;  // Error
       ~~~~~~~
-!!! error TS2322: Type '123' is not assignable to type 'string & number'.
-!!! error TS2322:   Type '123' is not assignable to type 'string'.
+!!! error TS2322: Type '123' is not assignable to type 'never'.
       obj[k3] = 123;  // Error
       ~~~~~~~
 !!! error TS2322: Type '123' is not assignable to type 'T[keyof T]'.
@@ -190,8 +187,7 @@ tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts(108,5): error TS23
         return 123;  // Error
         ~~~~~~~~~~~
 !!! error TS2322: Type '123' is not assignable to type 'Type[K]'.
-!!! error TS2322:   Type '123' is not assignable to type '123 & "some string"'.
-!!! error TS2322:     Type '123' is not assignable to type '"some string"'.
+!!! error TS2322:   Type '123' is not assignable to type 'never'.
     }
 
     // Repro from #30920

tests/baselines/reference/keyofAndIndexedAccess2.types

@@ -249,7 +249,7 @@ function f10<T extends Item, K extends keyof T>(obj: T, k1: string, k2: keyof It
 
   obj[k2] = 123;  // Error
 >obj[k2] = 123 : 123
->obj[k2] : string & number
+>obj[k2] : never
 >obj : T
 >k2 : "a" | "b"
 >123 : 123

tests/baselines/reference/keyofAndIndexedAccessErrors.errors.txt

@@ -10,7 +10,6 @@ tests/cases/conformance/types/keyof/keyofAndIndexedAccessErrors.ts(27,18): error
 tests/cases/conformance/types/keyof/keyofAndIndexedAccessErrors.ts(28,18): error TS2538: Type '{ x: string; }' cannot be used as an index type.
 tests/cases/conformance/types/keyof/keyofAndIndexedAccessErrors.ts(29,18): error TS2537: Type 'Shape' has no matching index signature for type 'number'.
 tests/cases/conformance/types/keyof/keyofAndIndexedAccessErrors.ts(29,18): error TS2537: Type 'Shape' has no matching index signature for type 'string'.
-tests/cases/conformance/types/keyof/keyofAndIndexedAccessErrors.ts(30,18): error TS2538: Type 'string & number' cannot be used as an index type.
 tests/cases/conformance/types/keyof/keyofAndIndexedAccessErrors.ts(31,18): error TS2537: Type 'Shape' has no matching index signature for type 'string'.
 tests/cases/conformance/types/keyof/keyofAndIndexedAccessErrors.ts(31,18): error TS2538: Type 'false' cannot be used as an index type.
 tests/cases/conformance/types/keyof/keyofAndIndexedAccessErrors.ts(31,18): error TS2538: Type 'true' cannot be used as an index type.
@@ -81,7 +80,7 @@ tests/cases/conformance/types/keyof/keyofAndIndexedAccessErrors.ts(141,5): error
 tests/cases/conformance/types/keyof/keyofAndIndexedAccessErrors.ts(142,5): error TS2322: Type 'number[]' is not assignable to type 'T[K]'.
 
 
-==== tests/cases/conformance/types/keyof/keyofAndIndexedAccessErrors.ts (41 errors) ====
+==== tests/cases/conformance/types/keyof/keyofAndIndexedAccessErrors.ts (40 errors) ====
     class Shape {
         name: string;
         width: number;
@@ -135,9 +134,7 @@ tests/cases/conformance/types/keyof/keyofAndIndexedAccessErrors.ts(142,5): error
 !!! error TS2537: Type 'Shape' has no matching index signature for type 'number'.
                      ~~~~~~~~~~~~~~~
 !!! error TS2537: Type 'Shape' has no matching index signature for type 'string'.
-    type T21 = Shape[string & number];  // Error
-                     ~~~~~~~~~~~~~~~
-!!! error TS2538: Type 'string & number' cannot be used as an index type.
+    type T21 = Shape[string & number];
     type T22 = Shape[string | boolean];  // Error
                      ~~~~~~~~~~~~~~~~
 !!! error TS2537: Type 'Shape' has no matching index signature for type 'string'.

tests/baselines/reference/keyofAndIndexedAccessErrors.js

@@ -28,7 +28,7 @@ type T17 = Shape[void];  // Error
 type T18 = Shape[undefined];  // Error
 type T19 = Shape[{ x: string }];  // Error
 type T20 = Shape[string | number];  // Error
-type T21 = Shape[string & number];  // Error
+type T21 = Shape[string & number];
 type T22 = Shape[string | boolean];  // Error
 
 type T30 = string[]["length"];

tests/baselines/reference/keyofAndIndexedAccessErrors.symbols

@@ -93,7 +93,7 @@ type T20 = Shape[string | number];  // Error
 >T20 : Symbol(T20, Decl(keyofAndIndexedAccessErrors.ts, 27, 32))
 >Shape : Symbol(Shape, Decl(keyofAndIndexedAccessErrors.ts, 0, 0))
 
-type T21 = Shape[string & number];  // Error
+type T21 = Shape[string & number];
 >T21 : Symbol(T21, Decl(keyofAndIndexedAccessErrors.ts, 28, 34))
 >Shape : Symbol(Shape, Decl(keyofAndIndexedAccessErrors.ts, 0, 0))
 

tests/baselines/reference/keyofAndIndexedAccessErrors.types

@@ -74,8 +74,8 @@ type T19 = Shape[{ x: string }];  // Error
 type T20 = Shape[string | number];  // Error
 >T20 : any
 
-type T21 = Shape[string & number];  // Error
->T21 : any
+type T21 = Shape[string & number];
+>T21 : never
 
 type T22 = Shape[string | boolean];  // Error
 >T22 : any

tests/baselines/reference/nonPrimitiveUnionIntersection.errors.txt

@@ -1,27 +1,23 @@
-tests/cases/conformance/types/nonPrimitive/nonPrimitiveUnionIntersection.ts(1,5): error TS2322: Type '""' is not assignable to type 'object & string'.
-  Type '""' is not assignable to type 'object'.
+tests/cases/conformance/types/nonPrimitive/nonPrimitiveUnionIntersection.ts(1,5): error TS2322: Type '""' is not assignable to type 'never'.
 tests/cases/conformance/types/nonPrimitive/nonPrimitiveUnionIntersection.ts(3,5): error TS2322: Type '123' is not assignable to type 'object & {}'.
   Type '123' is not assignable to type 'object'.
-tests/cases/conformance/types/nonPrimitive/nonPrimitiveUnionIntersection.ts(4,1): error TS2322: Type 'string' is not assignable to type 'object & string'.
-  Type 'string' is not assignable to type 'object'.
+tests/cases/conformance/types/nonPrimitive/nonPrimitiveUnionIntersection.ts(4,1): error TS2322: Type 'string' is not assignable to type 'never'.
 tests/cases/conformance/types/nonPrimitive/nonPrimitiveUnionIntersection.ts(8,38): error TS2322: Type '{ bar: string; }' is not assignable to type 'object & { err: string; }'.
   Object literal may only specify known properties, and 'bar' does not exist in type 'object & { err: string; }'.
 
 
 ==== tests/cases/conformance/types/nonPrimitive/nonPrimitiveUnionIntersection.ts (4 errors) ====
     var a: object & string = ""; // error
         ~
-!!! error TS2322: Type '""' is not assignable to type 'object & string'.
-!!! error TS2322:   Type '""' is not assignable to type 'object'.
+!!! error TS2322: Type '""' is not assignable to type 'never'.
     var b: object | string = ""; // ok
     var c: object & {} = 123; // error
         ~
 !!! error TS2322: Type '123' is not assignable to type 'object & {}'.
 !!! error TS2322:   Type '123' is not assignable to type 'object'.
     a = b; // error
     ~
-!!! error TS2322: Type 'string' is not assignable to type 'object & string'.
-!!! error TS2322:   Type 'string' is not assignable to type 'object'.
+!!! error TS2322: Type 'string' is not assignable to type 'never'.
     b = a; // ok
 
     const foo: object & {} = {bar: 'bar'}; // ok

tests/baselines/reference/nonPrimitiveUnionIntersection.types

@@ -1,6 +1,6 @@
 === tests/cases/conformance/types/nonPrimitive/nonPrimitiveUnionIntersection.ts ===
 var a: object & string = ""; // error
->a : object & string
+>a : never
 >"" : ""
 
 var b: object | string = ""; // ok
@@ -13,13 +13,13 @@ var c: object & {} = 123; // error
 
 a = b; // error
 >a = b : string
->a : object & string
+>a : never
 >b : string
 
 b = a; // ok
->b = a : object & string
+>b = a : never
 >b : string | object
->a : object & string
+>a : never
 
 const foo: object & {} = {bar: 'bar'}; // ok
 >foo : object & {}

tests/baselines/reference/restUnion3.types

@@ -11,7 +11,7 @@ var {...rest4 } = nullAndUndefinedUnion;
 >nullAndUndefinedUnion : null | undefined
 
 declare const unionWithIntersection: ({ n: number } & { s: string }) & undefined;
->unionWithIntersection : { n: number; } & { s: string; } & undefined
+>unionWithIntersection : never
 >n : number
 >s : string
 
@@ -22,5 +22,5 @@ var rest5: { n: number, s: string };
 
 var {...rest5 } = unionWithIntersection;
 >rest5 : { n: number; s: string; }
->unionWithIntersection : { n: number; } & { s: string; } & undefined
+>unionWithIntersection : never