Accepted baselines.

Author: DanielRosenwasser

tests/baselines/reference/conditionalTypesExcessProperties.errors.txt

@@ -1,7 +1,7 @@
-tests/cases/conformance/types/conditional/conditionalTypesExcessProperties.ts(8,5): error TS2322: Type '{ test: string; arg: object; }' is not assignable to type 'Something<A>'.
-  Type '{ test: string; arg: object; }' is not assignable to type 'A extends object ? { arg: A; } : { arg?: undefined; }'.
-tests/cases/conformance/types/conditional/conditionalTypesExcessProperties.ts(9,5): error TS2322: Type '{ test: string; arg: object; arr: A; }' is not assignable to type 'Something<A>'.
-  Type '{ test: string; arg: object; arr: A; }' is not assignable to type 'A extends object ? { arg: A; } : { arg?: undefined; }'.
+tests/cases/conformance/types/conditional/conditionalTypesExcessProperties.ts(8,5): error TS2322: Type '{ test: string; arg: A; }' is not assignable to type 'Something<A>'.
+  Type '{ test: string; arg: A; }' is not assignable to type 'A extends object ? { arg: A; } : { arg?: undefined; }'.
+tests/cases/conformance/types/conditional/conditionalTypesExcessProperties.ts(9,5): error TS2322: Type '{ test: string; arg: A; arr: A; }' is not assignable to type 'Something<A>'.
+  Type '{ test: string; arg: A; arr: A; }' is not assignable to type 'A extends object ? { arg: A; } : { arg?: undefined; }'.
 
 
 ==== tests/cases/conformance/types/conditional/conditionalTypesExcessProperties.ts (2 errors) ====
@@ -14,11 +14,11 @@ tests/cases/conformance/types/conditional/conditionalTypesExcessProperties.ts(9,
     function testFunc2<A extends object>(a: A, sa: Something<A>) {
         sa = { test: 'hi', arg: a }; // not excess (but currently still not assignable)
         ~~
-!!! error TS2322: Type '{ test: string; arg: object; }' is not assignable to type 'Something<A>'.
-!!! error TS2322:   Type '{ test: string; arg: object; }' is not assignable to type 'A extends object ? { arg: A; } : { arg?: undefined; }'.
+!!! error TS2322: Type '{ test: string; arg: A; }' is not assignable to type 'Something<A>'.
+!!! error TS2322:   Type '{ test: string; arg: A; }' is not assignable to type 'A extends object ? { arg: A; } : { arg?: undefined; }'.
         sa = { test: 'bye', arg: a, arr: a } // excess
         ~~
-!!! error TS2322: Type '{ test: string; arg: object; arr: A; }' is not assignable to type 'Something<A>'.
-!!! error TS2322:   Type '{ test: string; arg: object; arr: A; }' is not assignable to type 'A extends object ? { arg: A; } : { arg?: undefined; }'.
+!!! error TS2322: Type '{ test: string; arg: A; arr: A; }' is not assignable to type 'Something<A>'.
+!!! error TS2322:   Type '{ test: string; arg: A; arr: A; }' is not assignable to type 'A extends object ? { arg: A; } : { arg?: undefined; }'.
     }
 

tests/baselines/reference/conditionalTypesExcessProperties.types

@@ -18,22 +18,22 @@ function testFunc2<A extends object>(a: A, sa: Something<A>) {
 >sa : Something<A>
 
     sa = { test: 'hi', arg: a }; // not excess (but currently still not assignable)
->sa = { test: 'hi', arg: a } : { test: string; arg: object; }
+>sa = { test: 'hi', arg: a } : { test: string; arg: A; }
 >sa : Something<A>
->{ test: 'hi', arg: a } : { test: string; arg: object; }
+>{ test: 'hi', arg: a } : { test: string; arg: A; }
 >test : string
 >'hi' : "hi"
->arg : object
->a : object
+>arg : A
+>a : A
 
     sa = { test: 'bye', arg: a, arr: a } // excess
->sa = { test: 'bye', arg: a, arr: a } : { test: string; arg: object; arr: A; }
+>sa = { test: 'bye', arg: a, arr: a } : { test: string; arg: A; arr: A; }
 >sa : Something<A>
->{ test: 'bye', arg: a, arr: a } : { test: string; arg: object; arr: A; }
+>{ test: 'bye', arg: a, arr: a } : { test: string; arg: A; arr: A; }
 >test : string
 >'bye' : "bye"
->arg : object
->a : object
+>arg : A
+>a : A
 >arr : A
 >a : A
 }

tests/baselines/reference/crashInGetTextOfComputedPropertyName.errors.txt

@@ -134,7 +134,7 @@ export class IterableWeakMap<K extends object, V> implements WeakMap<K, V> {
 >this.#finalizationGroup : FinalizationRegistry<{ readonly ref: WeakRef<object>; readonly set: Set<WeakRef<object>>; }>
 >this : this
 >register : (target: object, heldValue: { readonly ref: WeakRef<object>; readonly set: Set<WeakRef<object>>; }, unregisterToken?: object | undefined) => void
->key : object
+>key : K
 >{                set: this.#refSet,                ref,            } : { set: Set<WeakRef<K>>; ref: WeakRef<K>; }
 
                 set: this.#refSet,

tests/baselines/reference/esNextWeakRefs_IterableWeakMap.types

@@ -86,9 +86,9 @@ function fn3<T extends { a: string; b: string }, U extends { a: string; b: numbe
 
     var r2: {} = t || u;
 >r2 : {}
->t || u : { a: string; b: string; } | { a: string; b: number; }
->t : { a: string; b: string; }
->u : { a: string; b: number; }
+>t || u : T | U
+>t : T
+>u : U
 
     var r3 = t || { a: '' };
 >r3 : T | { a: string; }

tests/baselines/reference/logicalOrOperatorWithTypeParameters.types

@@ -96,7 +96,7 @@ function validate<T extends object>(obj: T, bounds: NumericBoundsOf<T>) {
 >Object.entries : { <T>(o: { [s: string]: T; } | ArrayLike<T>): [string, T][]; (o: {}): [string, any][]; }
 >Object : ObjectConstructor
 >entries : { <T>(o: { [s: string]: T; } | ArrayLike<T>): [string, T][]; (o: {}): [string, any][]; }
->obj : object
+>obj : T
 
         const boundsForKey = bounds[key as keyof NumericBoundsOf<T>];
 >boundsForKey : NumericBoundsOf<T>[keyof NumericBoundsOf<T>]

tests/baselines/reference/mappedTypeConstraints2.types

@@ -41,7 +41,7 @@ function bound<T extends object>(t: T) {
 
     var o: object = t; // ok
 >o : object
->t : object
+>t : T
 }
 
 bound({});
@@ -89,7 +89,7 @@ function bound3<T extends {}>(t: T) {
 
     var o: object = t; // ok
 >o : object
->t : {}
+>t : T
 }
 
 interface Proxy<T extends object> {}

tests/baselines/reference/nonPrimitiveInGeneric.types

@@ -5,11 +5,10 @@ tests/cases/conformance/types/rest/objectRestNegative.ts(6,10): error TS2322: Ty
 tests/cases/conformance/types/rest/objectRestNegative.ts(9,31): error TS2462: A rest element must be last in a destructuring pattern.
 tests/cases/conformance/types/rest/objectRestNegative.ts(11,30): error TS7008: Member 'x' implicitly has an 'any' type.
 tests/cases/conformance/types/rest/objectRestNegative.ts(11,33): error TS7008: Member 'y' implicitly has an 'any' type.
-tests/cases/conformance/types/rest/objectRestNegative.ts(17,6): error TS2698: Spread types may only be created from object types.
 tests/cases/conformance/types/rest/objectRestNegative.ts(17,9): error TS2701: The target of an object rest assignment must be a variable or a property access.
 
 
-==== tests/cases/conformance/types/rest/objectRestNegative.ts (7 errors) ====
+==== tests/cases/conformance/types/rest/objectRestNegative.ts (6 errors) ====
     let o = { a: 1, b: 'no' };
     var { ...mustBeLast, a } = o;
              ~~~~~~~~~~
@@ -39,8 +38,6 @@ tests/cases/conformance/types/rest/objectRestNegative.ts(17,9): error TS2701: Th
 
     let rest: { b: string }
     ({a, ...rest.b + rest.b} = o);
-         ~~~~~~~~~~~~~~~~~~
-!!! error TS2698: Spread types may only be created from object types.
             ~~~~~~~~~~~~~~~
 !!! error TS2701: The target of an object rest assignment must be a variable or a property access.