Accept new baselines

Author: ahejlsberg

tests/baselines/reference/discriminatedUnionTypes2.errors.txt

@@ -2,10 +2,9 @@ tests/cases/conformance/types/union/discriminatedUnionTypes2.ts(27,30): error TS
   Object literal may only specify known properties, and 'c' does not exist in type '{ a: null; b: string; }'.
 tests/cases/conformance/types/union/discriminatedUnionTypes2.ts(32,11): error TS2339: Property 'b' does not exist on type '{ a: 0; b: string; } | { a: T; c: number; }'.
   Property 'b' does not exist on type '{ a: T; c: number; }'.
-tests/cases/conformance/types/union/discriminatedUnionTypes2.ts(132,11): error TS2339: Property 'value' does not exist on type 'never'.
 
 
-==== tests/cases/conformance/types/union/discriminatedUnionTypes2.ts (3 errors) ====
+==== tests/cases/conformance/types/union/discriminatedUnionTypes2.ts (2 errors) ====
     function f10(x : { kind: false, a: string } | { kind: true, b: string } | { kind: string, c: string }) {
         if (x.kind === false) {
             x.a;
@@ -144,8 +143,6 @@ tests/cases/conformance/types/union/discriminatedUnionTypes2.ts(132,11): error T
         }
         else {
             x.value;  // Error, x is never
-              ~~~~~
-!!! error TS2339: Property 'value' does not exist on type 'never'.
         }
     }
 

tests/baselines/reference/discriminatedUnionTypes2.symbols

@@ -317,9 +317,9 @@ function f(problem: abc & (b | c)) {
 >c : Symbol(c, Decl(discriminatedUnionTypes2.ts, 104, 1))
 
     if (problem.type === 'b') {
->problem.type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 101, 10), Decl(discriminatedUnionTypes2.ts, 105, 10), Decl(discriminatedUnionTypes2.ts, 97, 10), Decl(discriminatedUnionTypes2.ts, 101, 10), Decl(discriminatedUnionTypes2.ts, 97, 10) ... and 5 more)
+>problem.type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 101, 10), Decl(discriminatedUnionTypes2.ts, 105, 10))
 >problem : Symbol(problem, Decl(discriminatedUnionTypes2.ts, 112, 11))
->type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 101, 10), Decl(discriminatedUnionTypes2.ts, 105, 10), Decl(discriminatedUnionTypes2.ts, 97, 10), Decl(discriminatedUnionTypes2.ts, 101, 10), Decl(discriminatedUnionTypes2.ts, 97, 10) ... and 5 more)
+>type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 101, 10), Decl(discriminatedUnionTypes2.ts, 105, 10))
 
         problem.name;
 >problem.name : Symbol(name, Decl(discriminatedUnionTypes2.ts, 102, 14))
@@ -356,9 +356,9 @@ function foo1(x: RuntimeValue & { type: 'number' }) {
 >type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 126, 33))
 
     if (x.type === 'number') {
->x.type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 122, 7), Decl(discriminatedUnionTypes2.ts, 126, 33), Decl(discriminatedUnionTypes2.ts, 123, 7), Decl(discriminatedUnionTypes2.ts, 126, 33), Decl(discriminatedUnionTypes2.ts, 124, 7) ... and 1 more)
+>x.type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 122, 7), Decl(discriminatedUnionTypes2.ts, 126, 33))
 >x : Symbol(x, Decl(discriminatedUnionTypes2.ts, 126, 14))
->type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 122, 7), Decl(discriminatedUnionTypes2.ts, 126, 33), Decl(discriminatedUnionTypes2.ts, 123, 7), Decl(discriminatedUnionTypes2.ts, 126, 33), Decl(discriminatedUnionTypes2.ts, 124, 7) ... and 1 more)
+>type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 122, 7), Decl(discriminatedUnionTypes2.ts, 126, 33))
 
         x.value;  // number
 >x.value : Symbol(value, Decl(discriminatedUnionTypes2.ts, 122, 23))
@@ -367,7 +367,9 @@ function foo1(x: RuntimeValue & { type: 'number' }) {
     }
     else {
         x.value;  // Error, x is never
+>x.value : Symbol(value, Decl(discriminatedUnionTypes2.ts, 122, 23))
 >x : Symbol(x, Decl(discriminatedUnionTypes2.ts, 126, 14))
+>value : Symbol(value, Decl(discriminatedUnionTypes2.ts, 122, 23))
     }
 }
 
@@ -379,9 +381,9 @@ function foo2(x: RuntimeValue & ({ type: 'number' } | { type: 'string' })) {
 >type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 135, 55))
 
     if (x.type === 'number') {
->x.type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 122, 7), Decl(discriminatedUnionTypes2.ts, 135, 34), Decl(discriminatedUnionTypes2.ts, 122, 7), Decl(discriminatedUnionTypes2.ts, 135, 55), Decl(discriminatedUnionTypes2.ts, 123, 7) ... and 7 more)
+>x.type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 122, 7), Decl(discriminatedUnionTypes2.ts, 135, 34), Decl(discriminatedUnionTypes2.ts, 123, 7), Decl(discriminatedUnionTypes2.ts, 135, 55))
 >x : Symbol(x, Decl(discriminatedUnionTypes2.ts, 135, 14))
->type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 122, 7), Decl(discriminatedUnionTypes2.ts, 135, 34), Decl(discriminatedUnionTypes2.ts, 122, 7), Decl(discriminatedUnionTypes2.ts, 135, 55), Decl(discriminatedUnionTypes2.ts, 123, 7) ... and 7 more)
+>type : Symbol(type, Decl(discriminatedUnionTypes2.ts, 122, 7), Decl(discriminatedUnionTypes2.ts, 135, 34), Decl(discriminatedUnionTypes2.ts, 123, 7), Decl(discriminatedUnionTypes2.ts, 135, 55))
 
         x.value;  // number
 >x.value : Symbol(value, Decl(discriminatedUnionTypes2.ts, 122, 23))

tests/baselines/reference/discriminatedUnionTypes2.types

@@ -335,13 +335,13 @@ function f(problem: abc & (b | c)) {
 
         problem.name;
 >problem.name : string
->problem : b
+>problem : b | (a & b) | (a & c) | (b & c) | (c & b)
 >name : string
     }
     else {
         problem.other;
 >problem.other : string
->problem : c
+>problem : c | (a & b) | (a & c) | (b & c) | (c & b)
 >other : string
     }
 }
@@ -375,14 +375,14 @@ function foo1(x: RuntimeValue & { type: 'number' }) {
 
         x.value;  // number
 >x.value : number
->x : { type: "number"; value: number; } & { type: "number"; }
+>x : ({ type: "number"; value: number; } & { type: "number"; }) | ({ type: "string"; value: string; } & { type: "number"; }) | ({ type: "boolean"; value: boolean; } & { type: "number"; })
 >value : number
     }
     else {
         x.value;  // Error, x is never
->x.value : any
->x : never
->value : any
+>x.value : number
+>x : ({ type: "number"; value: number; } & { type: "number"; }) | ({ type: "string"; value: string; } & { type: "number"; }) | ({ type: "boolean"; value: boolean; } & { type: "number"; })
+>value : number
     }
 }
 
@@ -401,13 +401,13 @@ function foo2(x: RuntimeValue & ({ type: 'number' } | { type: 'string' })) {
 
         x.value;  // number
 >x.value : number
->x : { type: "number"; value: number; } & { type: "number"; }
+>x : ({ type: "number"; value: number; } & { type: "number"; }) | ({ type: "number"; value: number; } & { type: "string"; }) | ({ type: "string"; value: string; } & { type: "number"; }) | ({ type: "boolean"; value: boolean; } & { type: "number"; }) | ({ type: "boolean"; value: boolean; } & { type: "string"; })
 >value : number
     }
     else {
         x.value;  // string
 >x.value : string
->x : { type: "string"; value: string; } & { type: "string"; }
+>x : ({ type: "number"; value: number; } & { type: "string"; }) | ({ type: "string"; value: string; } & { type: "number"; }) | ({ type: "string"; value: string; } & { type: "string"; }) | ({ type: "boolean"; value: boolean; } & { type: "number"; }) | ({ type: "boolean"; value: boolean; } & { type: "string"; })
 >value : string
     }
 }

tests/baselines/reference/tsxUnionElementType1.errors.txt

@@ -15,5 +15,4 @@ tests/cases/conformance/jsx/file.tsx(12,10): error TS2322: Type 'true' is not as
     var SFCComp = SFC1 || SFC2;
     <SFCComp x />
              ~
-!!! error TS2322: Type 'true' is not assignable to type 'never'.
-!!! related TS6500 tests/cases/conformance/jsx/file.tsx:3:23: The expected type comes from property 'x' which is declared here on type 'IntrinsicAttributes & { x: number; } & { x: boolean; }'
+!!! error TS2322: Type 'true' is not assignable to type 'never'.

tests/baselines/reference/tsxUnionElementType2.errors.txt

@@ -15,5 +15,4 @@ tests/cases/conformance/jsx/file.tsx(12,10): error TS2322: Type 'string' is not
     var SFCComp = SFC1 || SFC2;
     <SFCComp x={"hi"}/>
              ~
-!!! error TS2322: Type 'string' is not assignable to type 'never'.
-!!! related TS6500 tests/cases/conformance/jsx/file.tsx:3:23: The expected type comes from property 'x' which is declared here on type 'IntrinsicAttributes & { x: number; } & { x: boolean; }'
+!!! error TS2322: Type 'string' is not assignable to type 'never'.

tests/baselines/reference/typeGuardsWithInstanceOf.errors.txt

@@ -0,0 +1,14 @@
+tests/cases/conformance/expressions/typeGuards/typeGuardsWithInstanceOf.ts(7,20): error TS2339: Property 'global' does not exist on type 'I & RegExp'.
+
+
+==== tests/cases/conformance/expressions/typeGuards/typeGuardsWithInstanceOf.ts (1 errors) ====
+    interface I { global: string; }
+    var result: I;
+    var result2: I;
+    
+    if (!(result instanceof RegExp)) {
+        result = result2;
+    } else if (!result.global) {
+                       ~~~~~~
+!!! error TS2339: Property 'global' does not exist on type 'I & RegExp'.
+    }

tests/baselines/reference/typeGuardsWithInstanceOf.symbols

@@ -20,7 +20,5 @@ if (!(result instanceof RegExp)) {
 >result2 : Symbol(result2, Decl(typeGuardsWithInstanceOf.ts, 2, 3))
 
 } else if (!result.global) {
->result.global : Symbol(global, Decl(typeGuardsWithInstanceOf.ts, 0, 13), Decl(lib.es5.d.ts, --, --))
 >result : Symbol(result, Decl(typeGuardsWithInstanceOf.ts, 1, 3))
->global : Symbol(global, Decl(typeGuardsWithInstanceOf.ts, 0, 13), Decl(lib.es5.d.ts, --, --))
 }

tests/baselines/reference/typeGuardsWithInstanceOf.types

@@ -22,7 +22,7 @@ if (!(result instanceof RegExp)) {
 
 } else if (!result.global) {
 >!result.global : boolean
->result.global : never
+>result.global : any
 >result : I & RegExp
->global : never
+>global : any
 }