Accept new baselines

Author: ahejlsberg

tests/baselines/reference/discriminatedUnionTypes1.types

@@ -320,7 +320,7 @@ function f3(m: Message) {
 >"X" : "X"
 
         m;  // never
->m : Message
+>m : never
     }
 }
 

tests/baselines/reference/equalityWithIntersectionTypes01.errors.txt

@@ -1,14 +1,9 @@
 tests/cases/conformance/types/typeRelationships/comparable/equalityWithIntersectionTypes01.ts(17,5): error TS2367: This condition will always return 'false' since the types 'I1 & I3' and 'I2' have no overlap.
 tests/cases/conformance/types/typeRelationships/comparable/equalityWithIntersectionTypes01.ts(17,16): error TS2367: This condition will always return 'false' since the types 'I2' and 'I1 & I3' have no overlap.
 tests/cases/conformance/types/typeRelationships/comparable/equalityWithIntersectionTypes01.ts(19,10): error TS2367: This condition will always return 'true' since the types 'I1 & I3' and 'I2' have no overlap.
-tests/cases/conformance/types/typeRelationships/comparable/equalityWithIntersectionTypes01.ts(19,21): error TS2367: This condition will always return 'true' since the types 'I2' and 'I1 & I3' have no overlap.
-tests/cases/conformance/types/typeRelationships/comparable/equalityWithIntersectionTypes01.ts(21,10): error TS2367: This condition will always return 'false' since the types 'I1 & I3' and 'I2' have no overlap.
-tests/cases/conformance/types/typeRelationships/comparable/equalityWithIntersectionTypes01.ts(21,20): error TS2367: This condition will always return 'false' since the types 'I2' and 'I1 & I3' have no overlap.
-tests/cases/conformance/types/typeRelationships/comparable/equalityWithIntersectionTypes01.ts(23,10): error TS2367: This condition will always return 'true' since the types 'I1 & I3' and 'I2' have no overlap.
-tests/cases/conformance/types/typeRelationships/comparable/equalityWithIntersectionTypes01.ts(23,20): error TS2367: This condition will always return 'true' since the types 'I2' and 'I1 & I3' have no overlap.
 
 
-==== tests/cases/conformance/types/typeRelationships/comparable/equalityWithIntersectionTypes01.ts (8 errors) ====
+==== tests/cases/conformance/types/typeRelationships/comparable/equalityWithIntersectionTypes01.ts (3 errors) ====
     interface I1 {
         p1: number
     }
@@ -34,18 +29,8 @@ tests/cases/conformance/types/typeRelationships/comparable/equalityWithIntersect
     else if (y !== z || z !== y) {
              ~~~~~~~
 !!! error TS2367: This condition will always return 'true' since the types 'I1 & I3' and 'I2' have no overlap.
-                        ~~~~~~~
-!!! error TS2367: This condition will always return 'true' since the types 'I2' and 'I1 & I3' have no overlap.
     }
     else if (y == z || z == y) {
-             ~~~~~~
-!!! error TS2367: This condition will always return 'false' since the types 'I1 & I3' and 'I2' have no overlap.
-                       ~~~~~~
-!!! error TS2367: This condition will always return 'false' since the types 'I2' and 'I1 & I3' have no overlap.
     }
     else if (y != z || z != y) {
-             ~~~~~~
-!!! error TS2367: This condition will always return 'true' since the types 'I1 & I3' and 'I2' have no overlap.
-                       ~~~~~~
-!!! error TS2367: This condition will always return 'true' since the types 'I2' and 'I1 & I3' have no overlap.
     }

tests/baselines/reference/equalityWithIntersectionTypes01.types

@@ -47,24 +47,24 @@ else if (y !== z || z !== y) {
 >y : I1 & I3
 >z : I2
 >z !== y : boolean
->z : I2
->y : I1 & I3
+>z : never
+>y : never
 }
 else if (y == z || z == y) {
 >y == z || z == y : boolean
 >y == z : boolean
->y : I1 & I3
->z : I2
+>y : never
+>z : never
 >z == y : boolean
->z : I2
->y : I1 & I3
+>z : never
+>y : never
 }
 else if (y != z || z != y) {
 >y != z || z != y : boolean
 >y != z : boolean
->y : I1 & I3
->z : I2
+>y : never
+>z : never
 >z != y : boolean
->z : I2
->y : I1 & I3
+>z : never
+>y : never
 }