Update baselines

Author: jack-williams

tests/baselines/reference/discriminantsAndTypePredicates.errors.txt

@@ -353,4 +353,25 @@ tests/cases/compiler/discriminantsAndTypePredicates.ts(307,11): error TS2339: Pr
 !!! error TS2339: Property 'a' does not exist on type 'unknown'.
         }
     }
+    
+    interface Success {
+        success: true;
+        response: object;
+    }
+    
+    interface Error {
+        success: false;
+        error: object;
+    }
+    
+    function request(): Success | Error {
+        return null as any;
+    }
+    
+    // This does not work:
+    let r
+    r = request();
+    if (r.success) {
+        r.response;
+    }
 

tests/baselines/reference/discriminantsAndTypePredicates.js

@@ -308,6 +308,27 @@ function looper(getter: () => unknown) {
         x.a;  // error
     }
 }
+
+interface Success {
+    success: true;
+    response: object;
+}
+
+interface Error {
+    success: false;
+    error: object;
+}
+
+function request(): Success | Error {
+    return null as any;
+}
+
+// This does not work:
+let r
+r = request();
+if (r.success) {
+    r.response;
+}
 
 
 //// [discriminantsAndTypePredicates.js]
@@ -559,3 +580,12 @@ function looper(getter) {
         x.a; // error
     }
 }
+function request() {
+    return null;
+}
+// This does not work:
+var r;
+r = request();
+if (r.success) {
+    r.response;
+}

tests/baselines/reference/discriminantsAndTypePredicates.symbols

@@ -908,3 +908,46 @@ function looper(getter: () => unknown) {
     }
 }
 
+interface Success {
+>Success : Symbol(Success, Decl(discriminantsAndTypePredicates.ts, 308, 1))
+
+    success: true;
+>success : Symbol(Success.success, Decl(discriminantsAndTypePredicates.ts, 310, 19))
+
+    response: object;
+>response : Symbol(Success.response, Decl(discriminantsAndTypePredicates.ts, 311, 18))
+}
+
+interface Error {
+>Error : Symbol(Error, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(discriminantsAndTypePredicates.ts, 313, 1))
+
+    success: false;
+>success : Symbol(Error.success, Decl(discriminantsAndTypePredicates.ts, 315, 17))
+
+    error: object;
+>error : Symbol(Error.error, Decl(discriminantsAndTypePredicates.ts, 316, 19))
+}
+
+function request(): Success | Error {
+>request : Symbol(request, Decl(discriminantsAndTypePredicates.ts, 318, 1))
+>Success : Symbol(Success, Decl(discriminantsAndTypePredicates.ts, 308, 1))
+>Error : Symbol(Error, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(discriminantsAndTypePredicates.ts, 313, 1))
+
+    return null as any;
+}
+
+// This does not work:
+let r
+>r : Symbol(r, Decl(discriminantsAndTypePredicates.ts, 325, 3))
+
+r = request();
+>r : Symbol(r, Decl(discriminantsAndTypePredicates.ts, 325, 3))
+>request : Symbol(request, Decl(discriminantsAndTypePredicates.ts, 318, 1))
+
+if (r.success) {
+>r : Symbol(r, Decl(discriminantsAndTypePredicates.ts, 325, 3))
+
+    r.response;
+>r : Symbol(r, Decl(discriminantsAndTypePredicates.ts, 325, 3))
+}
+

tests/baselines/reference/discriminantsAndTypePredicates.types

@@ -1036,3 +1036,50 @@ function looper(getter: () => unknown) {
     }
 }
 
+interface Success {
+    success: true;
+>success : true
+>true : true
+
+    response: object;
+>response : object
+}
+
+interface Error {
+    success: false;
+>success : false
+>false : false
+
+    error: object;
+>error : object
+}
+
+function request(): Success | Error {
+>request : () => Success | Error
+
+    return null as any;
+>null as any : any
+>null : null
+}
+
+// This does not work:
+let r
+>r : any
+
+r = request();
+>r = request() : Success | Error
+>r : any
+>request() : Success | Error
+>request : () => Success | Error
+
+if (r.success) {
+>r.success : any
+>r : any
+>success : any
+
+    r.response;
+>r.response : any
+>r : any
+>response : any
+}
+