Accept (possibly non-ideal?) 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: 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(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 (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: 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; }'.
+!!! 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; }'.
         sa = { test: 'bye', arg: a, arr: a } // excess
         ~~
-!!! 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; }'.
+!!! 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; }'.
     }
 

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: A; }
+>sa = { test: 'hi', arg: a } : { test: string; arg: object; }
 >sa : Something<A>
->{ test: 'hi', arg: a } : { test: string; arg: A; }
+>{ test: 'hi', arg: a } : { test: string; arg: object; }
 >test : string
 >'hi' : "hi"
->arg : A
->a : A
+>arg : object
+>a : object
 
     sa = { test: 'bye', arg: a, arr: a } // excess
->sa = { test: 'bye', arg: a, arr: a } : { test: string; arg: A; arr: A; }
+>sa = { test: 'bye', arg: a, arr: a } : { test: string; arg: object; arr: A; }
 >sa : Something<A>
->{ test: 'bye', arg: a, arr: a } : { test: string; arg: A; arr: A; }
+>{ test: 'bye', arg: a, arr: a } : { test: string; arg: object; arr: A; }
 >test : string
 >'bye' : "bye"
->arg : A
->a : A
+>arg : object
+>a : object
 >arr : A
 >a : A
 }

tests/baselines/reference/crashInGetTextOfComputedPropertyName.errors.txt

@@ -0,0 +1,36 @@
+tests/cases/compiler/crashInGetTextOfComputedPropertyName.ts(23,24): error TS2525: Initializer provides no value for this binding element and the binding element has no default value.
+
+
+==== tests/cases/compiler/crashInGetTextOfComputedPropertyName.ts (1 errors) ====
+    // https://github.com/Microsoft/TypeScript/issues/29006
+    export interface A { type: 'a' }
+    export interface B { type: 'b' }
+    export type AB = A | B
+    
+    const itemId = 'some-id'
+    
+    // --- test on first level ---
+    const items: { [id: string]: AB } = {}
+    const { [itemId]: itemOk1 } = items
+    typeof itemOk1 // pass
+    
+    // --- test on second level ---
+    interface ObjWithItems {
+        items: {[s: string]: AB}
+    }
+    const objWithItems: ObjWithItems = { items: {}}
+    
+    const itemOk2 = objWithItems.items[itemId]
+    typeof itemOk2 // pass
+    
+    const {
+        items: { [itemId]: itemWithTSError } = {} /*happens when default value is provided*/
+                           ~~~~~~~~~~~~~~~
+!!! error TS2525: Initializer provides no value for this binding element and the binding element has no default value.
+    } = objWithItems
+    
+    // in order to re-produce the error, uncomment next line:
+    typeof itemWithTSError // :(
+    
+    // will result in:
+    // Error from compilation: TypeError: Cannot read property 'charCodeAt' of undefined  TypeError: Cannot read property 'charCodeAt' of undefined

tests/baselines/reference/esNextWeakRefs_IterableWeakMap.types

@@ -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 : K
+>key : object
 >{                set: this.#refSet,                ref,            } : { set: Set<WeakRef<K>>; ref: WeakRef<K>; }
 
                 set: this.#refSet,

tests/baselines/reference/logicalOrOperatorWithTypeParameters.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 : T | U
->t : T
->u : U
+>t || u : { a: string; b: string; } | { a: string; b: number; }
+>t : { a: string; b: string; }
+>u : { a: string; b: number; }
 
     var r3 = t || { a: '' };
 >r3 : T | { a: string; }

tests/baselines/reference/nonPrimitiveInGeneric.types

@@ -41,7 +41,7 @@ function bound<T extends object>(t: T) {
 
     var o: object = t; // ok
 >o : object
->t : T
+>t : object
 }
 
 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/objectRestNegative.errors.txt

@@ -5,10 +5,11 @@ 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 (6 errors) ====
+==== tests/cases/conformance/types/rest/objectRestNegative.ts (7 errors) ====
     let o = { a: 1, b: 'no' };
     var { ...mustBeLast, a } = o;
              ~~~~~~~~~~
@@ -38,6 +39,8 @@ 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.
 

tests/baselines/reference/unknownType1.errors.txt

@@ -15,8 +15,7 @@ tests/cases/conformance/types/unknown/unknownType1.ts(111,9): error TS2322: Type
 tests/cases/conformance/types/unknown/unknownType1.ts(112,9): error TS2322: Type 'unknown' is not assignable to type 'string[]'.
 tests/cases/conformance/types/unknown/unknownType1.ts(113,9): error TS2322: Type 'unknown' is not assignable to type '{}'.
 tests/cases/conformance/types/unknown/unknownType1.ts(114,9): error TS2322: Type 'unknown' is not assignable to type '{} | null | undefined'.
-tests/cases/conformance/types/unknown/unknownType1.ts(120,9): error TS2322: Type 'T' is not assignable to type 'object'.
-  Type 'unknown' is not assignable to type 'object'.
+tests/cases/conformance/types/unknown/unknownType1.ts(120,9): error TS2322: Type 'unknown' is not assignable to type 'object'.
 tests/cases/conformance/types/unknown/unknownType1.ts(128,5): error TS2322: Type 'number[]' is not assignable to type '{ [x: string]: unknown; }'.
   Index signature for type 'string' is missing in type 'number[]'.
 tests/cases/conformance/types/unknown/unknownType1.ts(129,5): error TS2322: Type 'number' is not assignable to type '{ [x: string]: unknown; }'.
@@ -26,10 +25,8 @@ tests/cases/conformance/types/unknown/unknownType1.ts(150,17): error TS2355: A f
 tests/cases/conformance/types/unknown/unknownType1.ts(156,14): error TS2700: Rest types may only be created from object types.
 tests/cases/conformance/types/unknown/unknownType1.ts(162,5): error TS2564: Property 'a' has no initializer and is not definitely assigned in the constructor.
 tests/cases/conformance/types/unknown/unknownType1.ts(170,9): error TS2322: Type 'T' is not assignable to type '{}'.
-tests/cases/conformance/types/unknown/unknownType1.ts(171,9): error TS2322: Type 'U' is not assignable to type '{}'.
-  Type 'unknown' is not assignable to type '{}'.
-tests/cases/conformance/types/unknown/unknownType1.ts(181,5): error TS2322: Type 'T' is not assignable to type '{}'.
-  Type 'unknown' is not assignable to type '{}'.
+tests/cases/conformance/types/unknown/unknownType1.ts(171,9): error TS2322: Type 'unknown' is not assignable to type '{}'.
+tests/cases/conformance/types/unknown/unknownType1.ts(181,5): error TS2322: Type 'unknown' is not assignable to type '{}'.
 
 
 ==== tests/cases/conformance/types/unknown/unknownType1.ts (28 errors) ====
@@ -188,8 +185,7 @@ tests/cases/conformance/types/unknown/unknownType1.ts(181,5): error TS2322: Type
     function f23<T extends unknown>(x: T) {
         let y: object = x;  // Error
             ~
-!!! error TS2322: Type 'T' is not assignable to type 'object'.
-!!! error TS2322:   Type 'unknown' is not assignable to type 'object'.
+!!! error TS2322: Type 'unknown' is not assignable to type 'object'.
     }
 
     // Anything fresh but primitive assignable to { [x: string]: unknown }
@@ -260,8 +256,7 @@ tests/cases/conformance/types/unknown/unknownType1.ts(181,5): error TS2322: Type
 !!! related TS2208 tests/cases/conformance/types/unknown/unknownType1.ts:169:14: This type parameter probably needs an `extends object` constraint.
         let y: {} = u;
             ~
-!!! error TS2322: Type 'U' is not assignable to type '{}'.
-!!! error TS2322:   Type 'unknown' is not assignable to type '{}'.
+!!! error TS2322: Type 'unknown' is not assignable to type '{}'.
     }
 
     // Repro from #26796
@@ -273,7 +268,6 @@ tests/cases/conformance/types/unknown/unknownType1.ts(181,5): error TS2322: Type
     function oops<T extends unknown>(arg: T): {} {
         return arg;  // Error
         ~~~~~~~~~~~
-!!! error TS2322: Type 'T' is not assignable to type '{}'.
-!!! error TS2322:   Type 'unknown' is not assignable to type '{}'.
+!!! error TS2322: Type 'unknown' is not assignable to type '{}'.
     }
 

tests/baselines/reference/unknownType1.types

@@ -339,7 +339,7 @@ function f23<T extends unknown>(x: T) {
 
     let y: object = x;  // Error
 >y : object
->x : T
+>x : unknown
 }
 
 // Anything fresh but primitive assignable to { [x: string]: unknown }
@@ -473,7 +473,7 @@ function f30<T, U extends unknown>(t: T, u: U) {
 
     let y: {} = u;
 >y : {}
->u : U
+>u : unknown
 }
 
 // Repro from #26796
@@ -496,6 +496,6 @@ function oops<T extends unknown>(arg: T): {} {
 >arg : T
 
     return arg;  // Error
->arg : T
+>arg : unknown
 }