accept baseline

Author: ngothingocmaiclht

tests/baselines/reference/conditionalTypes1.errors.txt

@@ -96,7 +96,7 @@ conditionalTypes1.ts(288,43): error TS2322: Type 'T95<U>' is not assignable to t
 !!! error TS2322: Type 'T' is not assignable to type 'NonNullable<T>'.
 !!! error TS2322:   Type 'T' is not assignable to type '{}'.
 !!! related TS2208 conditionalTypes1.ts:10:13: This type parameter might need an `extends {}` constraint.
-!!! related TS2208 conditionalTypes1.ts:10:13: This type parameter might need an `extends NonNullable<T>` constraint.
+!!! related TS2882 conditionalTypes1.ts:10:13: You might have swapped the left and right hand sides of the assignment.
     }
 
     function f2<T extends string | undefined>(x: T, y: NonNullable<T>) {

tests/baselines/reference/dependentReturnType1.errors.txt

@@ -308,14 +308,14 @@ function f101<T extends 1 | 2 | 3 | 4>(x: T): T extends 1 ? One : T extends 2 ?
     // Excess property becomes a problem with the change,
     // because we now check assignability to a narrower type...
     return { a: "a", b: "b", c: "c", d: "d", e: "e", f: "f", g: "g" }; // EPC Error
->{ a: "a", b: "b", c: "c", d: "d", e: "e", f: "f", g: "g" } : { a: "a"; b: string; c: "c"; d: "d"; e: "e"; f: "f"; g: "g"; }
->                                                           : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+>{ a: "a", b: "b", c: "c", d: "d", e: "e", f: "f", g: "g" } : { a: "a"; b: "b"; c: "c"; d: "d"; e: "e"; f: "f"; g: "g"; }
+>                                                           : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >a : "a"
 >  : ^^^
 >"a" : "a"
 >    : ^^^
->b : string
->  : ^^^^^^
+>b : "b"
+>  : ^^^
 >"b" : "b"
 >    : ^^^
 >c : "c"
@@ -777,16 +777,16 @@ function contextualConditional<T extends "a" | "b">(
 
 ): T extends "a" ? "a" : T extends "b" ? number : never {
     return x === "a" ? x : parseInt(x); // Ok
->x === "a" ? x : parseInt(x) : number | "a"
->                            : ^^^^^^^^^^^^
+>x === "a" ? x : parseInt(x) : number | T
+>                            : ^^^^^^^^^^
 >x === "a" : boolean
 >          : ^^^^^^^
 >x : T
 >  : ^
 >"a" : "a"
 >    : ^^^
->x : "a"
->  : ^^^
+>x : T
+>  : ^
 >parseInt(x) : number
 >            : ^^^^^^
 >parseInt : (string: string, radix?: number) => number
@@ -805,16 +805,16 @@ function conditionalWithError<T extends "a" | "b">(
 
 ): T extends "a" ? number : T extends "b" ? string : never {
     return x === "a" ? x : parseInt(x); // Error
->x === "a" ? x : parseInt(x) : number | "a"
->                            : ^^^^^^^^^^^^
+>x === "a" ? x : parseInt(x) : number | T
+>                            : ^^^^^^^^^^
 >x === "a" : boolean
 >          : ^^^^^^^
 >x : T
 >  : ^
 >"a" : "a"
 >    : ^^^
->x : "a"
->  : ^^^
+>x : T
+>  : ^
 >parseInt(x) : number
 >            : ^^^^^^
 >parseInt : (string: string, radix?: number) => number

tests/baselines/reference/dependentReturnType1.types

@@ -1,9 +1,34 @@
-file.js(155,13): error TS2322: Type 'undefined' is not assignable to type 'HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>'.
+file.js(34,13): error TS2322: Type 'string' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
+file.js(38,13): error TS2322: Type 'T' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
+  Type 'string | IMessage' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
+    Type 'string' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
+file.js(46,9): error TS2322: Type 'T' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
+  Type 'string | IMessage' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
+    Type 'string' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
+file.js(59,9): error TS2322: Type '(message: IMessage) => IMessage' is not assignable to type 'T extends true ? (message: IMessage) => IMessage : T extends false ? (message: string) => string : never'.
+file.js(61,5): error TS2322: Type '(message: string) => string' is not assignable to type 'T extends true ? (message: IMessage) => IMessage : T extends false ? (message: string) => string : never'.
+file.js(125,17): error TS2322: Type 'undefined' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
+file.js(128,17): error TS2322: Type 'void' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
+file.js(134,17): error TS2322: Type 'void' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
+file.js(148,17): error TS2322: Type 'undefined' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
+file.js(151,13): error TS2322: Type 'undefined' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
+file.js(155,13): error TS2322: Type 'undefined' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
+file.js(159,13): error TS2322: Type 'SettingComposedValue<T>[]' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
 file.js(168,16): error TS2536: Type 'I' cannot be used to index type '{ [s: string]: any; }'.
 file.js(185,9): error TS2322: Type 'Record<string, MyObj[]>' is not assignable to type 'HelperCond<T, string, MyObj[], undefined, Record<string, MyObj[]>>'.
+file.js(187,5): error TS2322: Type 'MyObj[]' is not assignable to type 'HelperCond<T, string, MyObj[], undefined, Record<string, MyObj[]>>'.
+file.js(197,9): error TS2322: Type 'Record<string, MyObj[]>' is not assignable to type 'HelperCond<T, string, MyObj[], undefined, Record<string, MyObj[]>>'.
+file.js(199,5): error TS2322: Type 'MyObj[]' is not assignable to type 'HelperCond<T, string, MyObj[], undefined, Record<string, MyObj[]>>'.
+file.js(220,9): error TS2322: Type '{ start: Date; end: Date; }' is not assignable to type 'HelperCond<T, string, { start: Date; end: Date; }, undefined, { start: Date; end: undefined; }>'.
+file.js(224,9): error TS2322: Type '{ start: Date; end: undefined; }' is not assignable to type 'HelperCond<T, string, { start: Date; end: Date; }, undefined, { start: Date; end: undefined; }>'.
+file.js(277,13): error TS2322: Type 'MyObj' is not assignable to type 'HelperCond<T, string, MyObj, string[], MyObj[] | undefined>'.
+file.js(281,13): error TS2322: Type 'MyObj[] | undefined' is not assignable to type 'HelperCond<T, string, MyObj, string[], MyObj[] | undefined>'.
+  Type 'undefined' is not assignable to type 'HelperCond<T, string, MyObj, string[], MyObj[] | undefined>'.
+file.js(296,24): error TS2322: Type 'null' is not assignable to type 'HelperCond<T, string, string, null | undefined, null>'.
+file.js(300,5): error TS2322: Type 'string' is not assignable to type 'HelperCond<T, string, string, null | undefined, null>'.
 
 
-==== file.js (3 errors) ====
+==== file.js (23 errors) ====
     // Adapted from ts-error-deltas repos
 
     /**
@@ -38,10 +63,16 @@ file.js(185,9): error TS2322: Type 'Record<string, MyObj[]>' is not assignable t
         renderMessage(message) {
             if (typeof message === 'string') {
                 return this.render(message); // Ok
+                ~~~~~~
+!!! error TS2322: Type 'string' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
             }
 
             if (!message.html?.trim()) {
                 return message; // Ok
+                ~~~~~~
+!!! error TS2322: Type 'T' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
+!!! error TS2322:   Type 'string | IMessage' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
+!!! error TS2322:     Type 'string' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
             }
 
             if (!message.tokens) {
@@ -50,6 +81,10 @@ file.js(185,9): error TS2322: Type 'Record<string, MyObj[]>' is not assignable t
 
             message.html = this.render(message.html);
             return message; // Ok
+            ~~~~~~
+!!! error TS2322: Type 'T' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
+!!! error TS2322:   Type 'string | IMessage' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
+!!! error TS2322:     Type 'string' is not assignable to type 'T extends string ? string : T extends IMessage ? IMessage : never'.
         }
     }
 
@@ -63,8 +98,12 @@ file.js(185,9): error TS2322: Type 'Record<string, MyObj[]>' is not assignable t
         const instance = new NewKatex();
         if (_isMessage) {
             return (/** @type {IMessage} */ message) => instance.renderMessage(message); // Ok
+            ~~~~~~
+!!! error TS2322: Type '(message: IMessage) => IMessage' is not assignable to type 'T extends true ? (message: IMessage) => IMessage : T extends false ? (message: string) => string : never'.
         }
         return (/** @type {string} */ message) => instance.renderMessage(message); // Ok
+        ~~~~~~
+!!! error TS2322: Type '(message: string) => string' is not assignable to type 'T extends true ? (message: IMessage) => IMessage : T extends false ? (message: string) => string : never'.
     }
 
     // File: Rocket.Chat/apps/meteor/app/settings/lib/settings.ts
@@ -129,15 +168,21 @@ file.js(185,9): error TS2322: Type 'Record<string, MyObj[]>' is not assignable t
             if (callback !== undefined) {
                 if (!Meteor.settings) {
                     return; // Ok
+                    ~~~~~~
+!!! error TS2322: Type 'undefined' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
                 }
                 if (_id === '*') {
                     return Object.keys(Meteor.settings).forEach((key) => {
+                    ~~~~~~
+!!! error TS2322: Type 'void' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
                         const value = Meteor.settings[key];
                         callback(key, value);
                     });
                 }
                 if (_.isRegExp(_id) && Meteor.settings) {
                     return Object.keys(Meteor.settings).forEach((key) => {
+                    ~~~~~~
+!!! error TS2322: Type 'void' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
                         if (!_id.test(key)) {
                             return;
                         }
@@ -152,19 +197,25 @@ file.js(185,9): error TS2322: Type 'Record<string, MyObj[]>' is not assignable t
                         callback(_id, Meteor.settings[_id]);
                     }
                     return; // Ok
+                    ~~~~~~
+!!! error TS2322: Type 'undefined' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
                 }
 
                 return; // Ok, needed for exhaustiveness check
+                ~~~~~~
+!!! error TS2322: Type 'undefined' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
             }
 
             if (!Meteor.settings) {
                 return undefined; // Error
                 ~~~~~~
-!!! error TS2322: Type 'undefined' is not assignable to type 'HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>'.
+!!! error TS2322: Type 'undefined' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
             }
 
             if (_.isRegExp(_id)) {
                 return Object.keys(Meteor.settings).reduce((/** @type {SettingComposedValue<T>[]} */ items, key) => {
+                ~~~~~~
+!!! error TS2322: Type 'SettingComposedValue<T>[]' is not assignable to type 'HelperCond<C, SettingCallback, void, undefined, HelperCond<I, string, T | undefined, RegExp, SettingComposedValue<T>[]>>'.
                     const value = Meteor.settings[key];
                     if (_id.test(key)) {
                         items.push({ key, value });
@@ -197,6 +248,8 @@ file.js(185,9): error TS2322: Type 'Record<string, MyObj[]>' is not assignable t
 !!! error TS2322: Type 'Record<string, MyObj[]>' is not assignable to type 'HelperCond<T, string, MyObj[], undefined, Record<string, MyObj[]>>'.
         }
         return /** @type {MessageBoxAction[]} */([]); // Ok
+        ~~~~~~
+!!! error TS2322: Type 'MyObj[]' is not assignable to type 'HelperCond<T, string, MyObj[], undefined, Record<string, MyObj[]>>'.
     }
 
     /**
@@ -207,8 +260,12 @@ file.js(185,9): error TS2322: Type 'Record<string, MyObj[]>' is not assignable t
     function getWithoutBug(group) {
         if (group === undefined) {
             return /** @type {Record<string, MessageBoxAction[]>} */({}); // Ok
+            ~~~~~~
+!!! error TS2322: Type 'Record<string, MyObj[]>' is not assignable to type 'HelperCond<T, string, MyObj[], undefined, Record<string, MyObj[]>>'.
         }
         return /** @type {MessageBoxAction[]} */([]); // Ok
+        ~~~~~~
+!!! error TS2322: Type 'MyObj[]' is not assignable to type 'HelperCond<T, string, MyObj[], undefined, Record<string, MyObj[]>>'.
     }
 
     // File: Rocket.Chat/apps/meteor/ee/server/lib/engagementDashboard/date.ts
@@ -230,13 +287,23 @@ file.js(185,9): error TS2322: Type 'Record<string, MyObj[]>' is not assignable t
     function transformDatesForAPI(start, end) {
         return end !== undefined ?
             {
+            ~
                 start: mapDateForAPI(start),
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                 end: mapDateForAPI(end),
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
             } :
+    ~~~~~~~~~
+!!! error TS2322: Type '{ start: Date; end: Date; }' is not assignable to type 'HelperCond<T, string, { start: Date; end: Date; }, undefined, { start: Date; end: undefined; }>'.
             {
+            ~
                 start: mapDateForAPI(start),
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                 end: undefined
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~
             };
+    ~~~~~~~~~
+!!! error TS2322: Type '{ start: Date; end: undefined; }' is not assignable to type 'HelperCond<T, string, { start: Date; end: Date; }, undefined, { start: Date; end: undefined; }>'.
     }
 
     // File: Rocket.Chat/packages/agenda/src/Agenda.ts
@@ -287,10 +354,15 @@ file.js(185,9): error TS2322: Type 'Record<string, MyObj[]>' is not assignable t
         async newEvery(interval, name, data, options) {
             if (typeof name === 'string') {
                 return this._createIntervalJob(interval, name, data, options); // Ok
+                ~~~~~~
+!!! error TS2322: Type 'MyObj' is not assignable to type 'HelperCond<T, string, MyObj, string[], MyObj[] | undefined>'.
             }
 
             if (Array.isArray(name)) {
                 return this._createIntervalJobs(interval, name, data, options); // Ok
+                ~~~~~~
+!!! error TS2322: Type 'MyObj[] | undefined' is not assignable to type 'HelperCond<T, string, MyObj, string[], MyObj[] | undefined>'.
+!!! error TS2322:   Type 'undefined' is not assignable to type 'HelperCond<T, string, MyObj, string[], MyObj[] | undefined>'.
             }
 
             throw new Error('Unexpected error: Invalid job name(s)');
@@ -306,9 +378,13 @@ file.js(185,9): error TS2322: Type 'Record<string, MyObj[]>' is not assignable t
      */
     function transform1(value) {
         if (value == null) return null; // Ok
+                           ~~~~~~
+!!! error TS2322: Type 'null' is not assignable to type 'HelperCond<T, string, string, null | undefined, null>'.
         if (typeof value !== 'string') {
             throw new Error();
         }
         return value.toLowerCase(); // Ok
+        ~~~~~~
+!!! error TS2322: Type 'string' is not assignable to type 'HelperCond<T, string, string, null | undefined, null>'.
     }