Add additional tests for intra expression inference

tests/baselines/reference/intraExpressionInferences.errors.txt

@@ -1,8 +1,8 @@
-tests/cases/conformance/types/typeRelationships/typeInference/intraExpressionInferences.ts(123,5): error TS2322: Type '(inputs: Unwrap<{ num: Wrapper<number>; str: Wrapper<string>; }>) => { bool: any; str: number; }' is not assignable to type '(inputs: Unwrap<{ num: Wrapper<number>; str: Wrapper<string>; }>) => Unwrap<{ bool: Wrapper<boolean>; str: Wrapper<string>; }>'.
+tests/cases/conformance/types/typeRelationships/typeInference/intraExpressionInferences.ts(131,5): error TS2322: Type '(inputs: Unwrap<{ num: Wrapper<number>; str: Wrapper<string>; }>) => { bool: any; str: number; }' is not assignable to type '(inputs: Unwrap<{ num: Wrapper<number>; str: Wrapper<string>; }>) => Unwrap<{ bool: Wrapper<boolean>; str: Wrapper<string>; }>'.
   Call signature return types '{ bool: any; str: number; }' and 'Unwrap<{ bool: Wrapper<boolean>; str: Wrapper<string>; }>' are incompatible.
     The types of 'str' are incompatible between these types.
       Type 'number' is not assignable to type 'string'.
-tests/cases/conformance/types/typeRelationships/typeInference/intraExpressionInferences.ts(125,26): error TS2339: Property 'nonexistent' does not exist on type 'Unwrap<{ num: Wrapper<number>; str: Wrapper<string>; }>'.
+tests/cases/conformance/types/typeRelationships/typeInference/intraExpressionInferences.ts(133,26): error TS2339: Property 'nonexistent' does not exist on type 'Unwrap<{ num: Wrapper<number>; str: Wrapper<string>; }>'.
 
 
 ==== tests/cases/conformance/types/typeRelationships/typeInference/intraExpressionInferences.ts (2 errors) ====
@@ -97,6 +97,14 @@ tests/cases/conformance/types/typeRelationships/typeInference/intraExpressionInf
         }
     });
 
+    test({
+        a: () => 0,
+        b: (a) => a,
+        c: (b) => {
+            const x: number = b;
+        }
+    });
+
     // Repro from #41712
 
     class Wrapper<T = any> {
@@ -134,7 +142,7 @@ tests/cases/conformance/types/typeRelationships/typeInference/intraExpressionInf
 !!! error TS2322:   Call signature return types '{ bool: any; str: number; }' and 'Unwrap<{ bool: Wrapper<boolean>; str: Wrapper<string>; }>' are incompatible.
 !!! error TS2322:     The types of 'str' are incompatible between these types.
 !!! error TS2322:       Type 'number' is not assignable to type 'string'.
-!!! related TS6500 tests/cases/conformance/types/typeRelationships/typeInference/intraExpressionInferences.ts:105:5: The expected type comes from property 'map' which is declared here on type 'MappingComponent<{ num: Wrapper<number>; str: Wrapper<string>; }, { bool: Wrapper<boolean>; str: Wrapper<string>; }>'
+!!! related TS6500 tests/cases/conformance/types/typeRelationships/typeInference/intraExpressionInferences.ts:113:5: The expected type comes from property 'map' which is declared here on type 'MappingComponent<{ num: Wrapper<number>; str: Wrapper<string>; }, { bool: Wrapper<boolean>; str: Wrapper<string>; }>'
             return {
                 bool: inputs.nonexistent,
                              ~~~~~~~~~~~
@@ -189,4 +197,19 @@ tests/cases/conformance/types/typeRelationships/typeInference/intraExpressionInf
         fetch: (params: Params, foo) => 123,
         map: (number) => String(number)
     });
+
+    // Repro from #45255
+
+    declare const branch:
+      <T, U extends T>(_: { test: T, if: (t: T) => t is U, then: (u: U) => void }) => void
+
+    declare const x: "a" | "b"
+
+    branch({
+      test: x,
+      if: (t): t is "a" => t === "a",
+      then: u => {
+        let test1: "a" = u
+      }
+    })
 

tests/baselines/reference/intraExpressionInferences.js

@@ -90,6 +90,14 @@ test({
     }
 });
 
+test({
+    a: () => 0,
+    b: (a) => a,
+    c: (b) => {
+        const x: number = b;
+    }
+});
+
 // Repro from #41712
 
 class Wrapper<T = any> {
@@ -174,6 +182,21 @@ example({
     fetch: (params: Params, foo) => 123,
     map: (number) => String(number)
 });
+
+// Repro from #45255
+
+declare const branch:
+  <T, U extends T>(_: { test: T, if: (t: T) => t is U, then: (u: U) => void }) => void
+
+declare const x: "a" | "b"
+
+branch({
+  test: x,
+  if: (t): t is "a" => t === "a",
+  then: u => {
+    let test1: "a" = u
+  }
+})
 
 
 //// [intraExpressionInferences.js]
@@ -228,6 +251,13 @@ test({
         var x = b;
     }
 });
+test({
+    a: function () { return 0; },
+    b: function (a) { return a; },
+    c: function (b) {
+        var x = b;
+    }
+});
 // Repro from #41712
 var Wrapper = /** @class */ (function () {
     function Wrapper() {
@@ -279,6 +309,13 @@ example({
     fetch: function (params, foo) { return 123; },
     map: function (number) { return String(number); }
 });
+branch({
+    test: x,
+    "if": function (t) { return t === "a"; },
+    then: function (u) {
+        var test1 = u;
+    }
+});
 
 
 //// [intraExpressionInferences.d.ts]
@@ -340,3 +377,9 @@ interface Params {
     one: number;
     two: string;
 }
+declare const branch: <T, U extends T>(_: {
+    test: T;
+    if: (t: T) => t is U;
+    then: (u: U) => void;
+}) => void;
+declare const x: "a" | "b";