Update baselines

Author: RyanCavanaugh

src/compiler/checker.ts

@@ -29142,7 +29142,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
             if (contextualElementTypes.length > 1) {
                 return createArrayType(getIntersectionType(contextualElementTypes));
             } else if (contextualElementTypes.length === 1) {
-                return createArrayType(contextualElementTypes);
+                return createArrayType(contextualElementTypes[0]);
             }
         }
         return createArrayLiteralType(createArrayType(elementTypes.length ?

tests/baselines/reference/APISample_jsdoc.errors.txt

@@ -1,7 +1,5 @@
 tests/cases/compiler/arrayContextualTyping.ts(9,9): error TS2345: Argument of type 'string' is not assignable to parameter of type 'number'.
-  Type 'string' is not assignable to type 'number'.
 tests/cases/compiler/arrayContextualTyping.ts(14,11): error TS2345: Argument of type 'number' is not assignable to parameter of type 'string'.
-  Type 'number' is not assignable to type 'string'.
 
 
 ==== tests/cases/compiler/arrayContextualTyping.ts (2 errors) ====
@@ -16,15 +14,13 @@ tests/cases/compiler/arrayContextualTyping.ts(14,11): error TS2345: Argument of
     m1.push(""); // Should error
             ~~
 !!! error TS2345: Argument of type 'string' is not assignable to parameter of type 'number'.
-!!! error TS2345:   Type 'string' is not assignable to type 'number'.
 
     // Works in object fields?
     const m2 = { a: [] satisfies string[] };
     m2.a.push(""); // Should be OK
     m2.a.push(0); // Should error
               ~
 !!! error TS2345: Argument of type 'number' is not assignable to parameter of type 'string'.
-!!! error TS2345:   Type 'number' is not assignable to type 'string'.
 
     // If the contextual type is a union, keep the array-supertyping parts of the union
     const m3 = [] satisfies number[] | ArrayLike<string>;

tests/baselines/reference/arrayContextualTyping.errors.txt

@@ -67,19 +67,19 @@ const m3t: number[] | string[] = m3;
 
 // Keep only the array parts
 const m4 = [] satisfies MyCustomArray | string[];
->m4 : (number & string)[]
->[] satisfies MyCustomArray | string[] : (number & string)[]
->[] : (number & string)[]
+>m4 : never[]
+>[] satisfies MyCustomArray | string[] : never[]
+>[] : never[]
 
 const m4t: string[] = m4;
 >m4t : string[]
->m4 : (number & string)[]
+>m4 : never[]
 
 // Should OK
 const m5: string[] | number[] = [] satisfies string[] | number[];
 >m5 : number[] | string[]
->[] satisfies string[] | number[] : (number & string)[]
->[] : (number & string)[]
+>[] satisfies string[] | number[] : never[]
+>[] : never[]
 
 // Should OK
 type Obj = { a: string[] } | { a: number[] };
@@ -89,10 +89,10 @@ type Obj = { a: string[] } | { a: number[] };
 
 const m6: Obj = { a: [] } satisfies Obj;
 >m6 : Obj
->{ a: [] } satisfies Obj : { a: (number & string)[]; }
->{ a: [] } : { a: (number & string)[]; }
->a : (number & string)[]
->[] : (number & string)[]
+>{ a: [] } satisfies Obj : { a: never[]; }
+>{ a: [] } : { a: never[]; }
+>a : never[]
+>[] : never[]
 
 // Should all OK
 type DiscrObj = { a: string[], kind: "strings" } | { a: number[], kind: "numbers" };

tests/baselines/reference/arrayContextualTyping.types

@@ -2,6 +2,8 @@ tests/cases/compiler/mappedTypeGenericIndexedAccess.ts(18,13): error TS2322: Typ
   Type 'Types[T][]' is not assignable to type '{ a1: true; }[] & { a2: true; }[] & { a3: true; }[]'.
     Type 'Types[T][]' is not assignable to type '{ a1: true; }[]'.
       Type 'Types[T]' is not assignable to type '{ a1: true; }'.
+        Type '{ a1: true; } | { a2: true; } | { a3: true; }' is not assignable to type '{ a1: true; }'.
+          Property 'a1' is missing in type '{ a2: true; }' but required in type '{ a1: true; }'.
 
 
 ==== tests/cases/compiler/mappedTypeGenericIndexedAccess.ts (1 errors) ====
@@ -28,6 +30,9 @@ tests/cases/compiler/mappedTypeGenericIndexedAccess.ts(18,13): error TS2322: Typ
 !!! error TS2322:   Type 'Types[T][]' is not assignable to type '{ a1: true; }[] & { a2: true; }[] & { a3: true; }[]'.
 !!! error TS2322:     Type 'Types[T][]' is not assignable to type '{ a1: true; }[]'.
 !!! error TS2322:       Type 'Types[T]' is not assignable to type '{ a1: true; }'.
+!!! error TS2322:         Type '{ a1: true; } | { a2: true; } | { a3: true; }' is not assignable to type '{ a1: true; }'.
+!!! error TS2322:           Property 'a1' is missing in type '{ a2: true; }' but required in type '{ a1: true; }'.
+!!! related TS2728 tests/cases/compiler/mappedTypeGenericIndexedAccess.ts:4:14: 'a1' is declared here.
             }
             this.entries[name]?.push(entry);
         }

tests/baselines/reference/exportDefaultWithJSDoc1.errors.txt

@@ -38,7 +38,7 @@ switch (tmp.get('t')) {
 
 const arr: number[] | string[] = [];  // Works with Array<number | string>
 >arr : number[] | string[]
->[] : (number & string)[]
+>[] : never[]
 
 const arr1: number[]  = [];
 >arr1 : number[]