Add additional tests to unionPropertyExistence

Author: ojsheikh

tests/baselines/reference/unionPropertyExistence.errors.txt

@@ -1,16 +1,22 @@
-tests/cases/compiler/unionPropertyExistence.ts(24,4): error TS2339: Property 'onlyInB' does not exist on type 'AB'.
+tests/cases/compiler/unionPropertyExistence.ts(27,3): error TS2339: Property 'nope' does not exist on type '"foo" | "bar"'.
+  Property 'nope' does not exist on type '"foo"'.
+tests/cases/compiler/unionPropertyExistence.ts(28,6): error TS2339: Property 'onlyInB' does not exist on type 'B | "foo"'.
+  Property 'onlyInB' does not exist on type '"foo"'.
+tests/cases/compiler/unionPropertyExistence.ts(30,6): error TS2339: Property 'length' does not exist on type 'B | "foo"'.
+  Property 'length' does not exist on type 'B'.
+tests/cases/compiler/unionPropertyExistence.ts(32,4): error TS2339: Property 'onlyInB' does not exist on type 'AB'.
   Property 'onlyInB' does not exist on type 'A'.
-tests/cases/compiler/unionPropertyExistence.ts(27,5): error TS2339: Property 'notInC' does not exist on type 'ABC'.
+tests/cases/compiler/unionPropertyExistence.ts(35,5): error TS2339: Property 'notInC' does not exist on type 'ABC'.
   Property 'notInC' does not exist on type 'C'.
-tests/cases/compiler/unionPropertyExistence.ts(28,4): error TS2339: Property 'notInB' does not exist on type 'AB'.
+tests/cases/compiler/unionPropertyExistence.ts(36,4): error TS2339: Property 'notInB' does not exist on type 'AB'.
   Property 'notInB' does not exist on type 'B'.
-tests/cases/compiler/unionPropertyExistence.ts(29,5): error TS2339: Property 'notInB' does not exist on type 'ABC'.
+tests/cases/compiler/unionPropertyExistence.ts(37,5): error TS2339: Property 'notInB' does not exist on type 'ABC'.
   Property 'notInB' does not exist on type 'B'.
-tests/cases/compiler/unionPropertyExistence.ts(32,5): error TS2339: Property 'inNone' does not exist on type 'ABC'.
+tests/cases/compiler/unionPropertyExistence.ts(40,5): error TS2339: Property 'inNone' does not exist on type 'ABC'.
   Property 'inNone' does not exist on type 'A'.
 
 
-==== tests/cases/compiler/unionPropertyExistence.ts (5 errors) ====
+==== tests/cases/compiler/unionPropertyExistence.ts (8 errors) ====
     interface A {
         inAll: string;
         notInB: string;
@@ -34,6 +40,23 @@ tests/cases/compiler/unionPropertyExistence.ts(32,5): error TS2339: Property 'in
     var ab: AB;
     var abc: ABC;
 
+    declare const x: "foo" | "bar";
+    declare const bFoo: B | "foo";
+    
+    x.nope();
+      ~~~~
+!!! error TS2339: Property 'nope' does not exist on type '"foo" | "bar"'.
+!!! error TS2339:   Property 'nope' does not exist on type '"foo"'.
+    bFoo.onlyInB;
+         ~~~~~~~
+!!! error TS2339: Property 'onlyInB' does not exist on type 'B | "foo"'.
+!!! error TS2339:   Property 'onlyInB' does not exist on type '"foo"'.
+    x.length; // Ok
+    bFoo.length;
+         ~~~~~~
+!!! error TS2339: Property 'length' does not exist on type 'B | "foo"'.
+!!! error TS2339:   Property 'length' does not exist on type 'B'.
+    
     ab.onlyInB;
        ~~~~~~~
 !!! error TS2339: Property 'onlyInB' does not exist on type 'AB'.
@@ -57,4 +80,5 @@ tests/cases/compiler/unionPropertyExistence.ts(32,5): error TS2339: Property 'in
     abc.inNone;
         ~~~~~~
 !!! error TS2339: Property 'inNone' does not exist on type 'ABC'.
-!!! error TS2339:   Property 'inNone' does not exist on type 'A'.
+!!! error TS2339:   Property 'inNone' does not exist on type 'A'.
+    

tests/baselines/reference/unionPropertyExistence.js

@@ -22,6 +22,14 @@ type ABC = C | AB;
 var ab: AB;
 var abc: ABC;
 
+declare const x: "foo" | "bar";
+declare const bFoo: B | "foo";
+
+x.nope();
+bFoo.onlyInB;
+x.length; // Ok
+bFoo.length;
+
 ab.onlyInB;
 
 ab.notInC; // Ok
@@ -30,11 +38,16 @@ ab.notInB;
 abc.notInB;
 
 abc.inAll; // Ok
-abc.inNone;
+abc.inNone;
+
 
 //// [unionPropertyExistence.js]
 var ab;
 var abc;
+x.nope();
+bFoo.onlyInB;
+x.length; // Ok
+bFoo.length;
 ab.onlyInB;
 ab.notInC; // Ok
 abc.notInC;

tests/cases/compiler/unionPropertyExistence.ts

@@ -21,6 +21,14 @@ type ABC = C | AB;
 var ab: AB;
 var abc: ABC;
 
+declare const x: "foo" | "bar";
+declare const bFoo: B | "foo";
+
+x.nope();
+bFoo.onlyInB;
+x.length; // Ok
+bFoo.length;
+
 ab.onlyInB;
 
 ab.notInC; // Ok
@@ -29,4 +37,4 @@ ab.notInB;
 abc.notInB;
 
 abc.inAll; // Ok
-abc.inNone;
+abc.inNone;