Accept new baselines

Author: ahejlsberg

tests/baselines/reference/narrowingByTypeofInSwitch.types

@@ -552,7 +552,7 @@ function multipleGenericFuse<X extends L | number, Y extends R | number>(xy: X |
 
         case 'function': return [xy, 1];
 >'function' : "function"
->[xy, 1] : [X & Function, 1]
+>[xy, 1] : [X & Function, number]
 >xy : X & Function
 >1 : 1
 
@@ -1092,7 +1092,7 @@ function multipleGenericFuseWithBoth<X extends L | number, Y extends R | number>
 
         case `function`: return [xy, 1];
 >`function` : "function"
->[xy, 1] : [X & Function, 1]
+>[xy, 1] : [X & Function, number]
 >xy : X & Function
 >1 : 1
 

tests/baselines/reference/spreadsAndContextualTupleTypes.types

@@ -33,9 +33,9 @@ fx1([...t3, 'a']);
 >'a' : "a"
 
 fx2(['x', 'y', 'z', 'a']);
->fx2(['x', 'y', 'z', 'a']) : ["x", "y", "z", "a"]
+>fx2(['x', 'y', 'z', 'a']) : [string, string, string, "a"]
 >fx2 : <T extends [...string[], "a" | "b"]>(x: T) => T
->['x', 'y', 'z', 'a'] : ["x", "y", "z", "a"]
+>['x', 'y', 'z', 'a'] : [string, string, string, "a"]
 >'x' : "x"
 >'y' : "y"
 >'z' : "z"
@@ -56,7 +56,7 @@ const x1: [...string[], '!'] = ['!'];
 
 const x2: [...string[], '!'] = ['a', '!'];
 >x2 : [...string[], "!"]
->['a', '!'] : ["a", "!"]
+>['a', '!'] : [string, "!"]
 >'a' : "a"
 >'!' : "!"
 

tests/baselines/reference/variadicTuples1.errors.txt

@@ -36,7 +36,7 @@ tests/cases/conformance/types/tuple/variadicTuples1.ts(191,5): error TS2322: Typ
 tests/cases/conformance/types/tuple/variadicTuples1.ts(203,5): error TS2322: Type 'string' is not assignable to type 'keyof [1, 2, ...T]'.
   Type '"2"' is not assignable to type '"0" | "1" | keyof T[]'.
 tests/cases/conformance/types/tuple/variadicTuples1.ts(357,26): error TS2322: Type 'string' is not assignable to type 'number'.
-tests/cases/conformance/types/tuple/variadicTuples1.ts(397,7): error TS2322: Type '[false, false]' is not assignable to type '[...number[], boolean]'.
+tests/cases/conformance/types/tuple/variadicTuples1.ts(397,7): error TS2322: Type '[boolean, false]' is not assignable to type '[...number[], boolean]'.
   Type at position 0 in source is not compatible with type at position 0 in target.
     Type 'boolean' is not assignable to type 'number'.
 
@@ -498,7 +498,7 @@ tests/cases/conformance/types/tuple/variadicTuples1.ts(397,7): error TS2322: Typ
     type Unbounded = [...Numbers, boolean];
     const data: Unbounded = [false, false];  // Error
           ~~~~
-!!! error TS2322: Type '[false, false]' is not assignable to type '[...number[], boolean]'.
+!!! error TS2322: Type '[boolean, false]' is not assignable to type '[...number[], boolean]'.
 !!! error TS2322:   Type at position 0 in source is not compatible with type at position 0 in target.
 !!! error TS2322:     Type 'boolean' is not assignable to type 'number'.
 

tests/baselines/reference/variadicTuples1.types

@@ -1397,7 +1397,7 @@ type Unbounded = [...Numbers, boolean];
 
 const data: Unbounded = [false, false];  // Error
 >data : [...number[], boolean]
->[false, false] : [false, false]
+>[false, false] : [boolean, false]
 >false : false
 >false : false
 

tests/baselines/reference/variadicTuples2.errors.txt

@@ -45,7 +45,7 @@ tests/cases/conformance/types/tuple/variadicTuples2.ts(74,5): error TS2322: Type
 tests/cases/conformance/types/tuple/variadicTuples2.ts(79,5): error TS2322: Type '[number, string, ...any[]]' is not assignable to type '[number, ...number[]]'.
   Type at positions 1 through 2 in source is not compatible with type at position 1 in target.
     Type 'string' is not assignable to type 'number'.
-tests/cases/conformance/types/tuple/variadicTuples2.ts(111,16): error TS2345: Argument of type '[1, 2, 3, 4]' is not assignable to parameter of type '[...number[], (...values: number[]) => void]'.
+tests/cases/conformance/types/tuple/variadicTuples2.ts(111,16): error TS2345: Argument of type '[1, 2, 3, number]' is not assignable to parameter of type '[...number[], (...values: number[]) => void]'.
   Type at position 3 in source is not compatible with type at position 1 in target.
     Type 'number' is not assignable to type '(...values: number[]) => void'.
 tests/cases/conformance/types/tuple/variadicTuples2.ts(112,6): error TS2345: Argument of type 'string[]' is not assignable to parameter of type '[...string[], (...values: string[]) => void]'.
@@ -245,7 +245,7 @@ tests/cases/conformance/types/tuple/variadicTuples2.ts(134,25): error TS2345: Ar
 
     pipe<number[]>(1, 2, 3, 4);  // Error
                    ~~~~~~~~~~
-!!! error TS2345: Argument of type '[1, 2, 3, 4]' is not assignable to parameter of type '[...number[], (...values: number[]) => void]'.
+!!! error TS2345: Argument of type '[1, 2, 3, number]' is not assignable to parameter of type '[...number[], (...values: number[]) => void]'.
 !!! error TS2345:   Type at position 3 in source is not compatible with type at position 1 in target.
 !!! error TS2345:     Type 'number' is not assignable to type '(...values: number[]) => void'.
     pipe(...sa);  // Error