Add another repro

Author: ahejlsberg

tests/baselines/reference/strictSubtypeAndNarrowing.errors.txt

@@ -226,4 +226,24 @@ tests/cases/compiler/strictSubtypeAndNarrowing.ts(129,26): error TS2322: Type '{
         assert(!doesValueAtDeepPathSatisfy(foo, ['value', 'type'], isB));
         return foo;
     }
+    
+    // Repro from #53063
+    
+    interface Free {
+        premium: false;
+    }
+    
+    interface Premium {
+        premium: true;
+    }
+    
+    type Union = { premium: false } | { premium: true };
+    
+    declare const checkIsPremium: (a: Union) => a is Union & Premium;
+    
+    const f = (value: Union) => {
+        if (!checkIsPremium(value)) {
+            value.premium;
+        }
+    };
 

tests/baselines/reference/strictSubtypeAndNarrowing.js

@@ -209,6 +209,26 @@ function test2(foo: Foo): {value: {type: 'A'}; a?: number} {
     assert(!doesValueAtDeepPathSatisfy(foo, ['value', 'type'], isB));
     return foo;
 }
+
+// Repro from #53063
+
+interface Free {
+    premium: false;
+}
+
+interface Premium {
+    premium: true;
+}
+
+type Union = { premium: false } | { premium: true };
+
+declare const checkIsPremium: (a: Union) => a is Union & Premium;
+
+const f = (value: Union) => {
+    if (!checkIsPremium(value)) {
+        value.premium;
+    }
+};
 
 
 //// [strictSubtypeAndNarrowing.js]
@@ -341,3 +361,8 @@ function test2(foo) {
     assert(!doesValueAtDeepPathSatisfy(foo, ['value', 'type'], isB));
     return foo;
 }
+var f = function (value) {
+    if (!checkIsPremium(value)) {
+        value.premium;
+    }
+};

tests/baselines/reference/strictSubtypeAndNarrowing.symbols

@@ -556,3 +556,48 @@ function test2(foo: Foo): {value: {type: 'A'}; a?: number} {
 >foo : Symbol(foo, Decl(strictSubtypeAndNarrowing.ts, 206, 15))
 }
 
+// Repro from #53063
+
+interface Free {
+>Free : Symbol(Free, Decl(strictSubtypeAndNarrowing.ts, 209, 1))
+
+    premium: false;
+>premium : Symbol(Free.premium, Decl(strictSubtypeAndNarrowing.ts, 213, 16))
+}
+
+interface Premium {
+>Premium : Symbol(Premium, Decl(strictSubtypeAndNarrowing.ts, 215, 1))
+
+    premium: true;
+>premium : Symbol(Premium.premium, Decl(strictSubtypeAndNarrowing.ts, 217, 19))
+}
+
+type Union = { premium: false } | { premium: true };
+>Union : Symbol(Union, Decl(strictSubtypeAndNarrowing.ts, 219, 1))
+>premium : Symbol(premium, Decl(strictSubtypeAndNarrowing.ts, 221, 14))
+>premium : Symbol(premium, Decl(strictSubtypeAndNarrowing.ts, 221, 35))
+
+declare const checkIsPremium: (a: Union) => a is Union & Premium;
+>checkIsPremium : Symbol(checkIsPremium, Decl(strictSubtypeAndNarrowing.ts, 223, 13))
+>a : Symbol(a, Decl(strictSubtypeAndNarrowing.ts, 223, 31))
+>Union : Symbol(Union, Decl(strictSubtypeAndNarrowing.ts, 219, 1))
+>a : Symbol(a, Decl(strictSubtypeAndNarrowing.ts, 223, 31))
+>Union : Symbol(Union, Decl(strictSubtypeAndNarrowing.ts, 219, 1))
+>Premium : Symbol(Premium, Decl(strictSubtypeAndNarrowing.ts, 215, 1))
+
+const f = (value: Union) => {
+>f : Symbol(f, Decl(strictSubtypeAndNarrowing.ts, 225, 5))
+>value : Symbol(value, Decl(strictSubtypeAndNarrowing.ts, 225, 11))
+>Union : Symbol(Union, Decl(strictSubtypeAndNarrowing.ts, 219, 1))
+
+    if (!checkIsPremium(value)) {
+>checkIsPremium : Symbol(checkIsPremium, Decl(strictSubtypeAndNarrowing.ts, 223, 13))
+>value : Symbol(value, Decl(strictSubtypeAndNarrowing.ts, 225, 11))
+
+        value.premium;
+>value.premium : Symbol(premium, Decl(strictSubtypeAndNarrowing.ts, 221, 14))
+>value : Symbol(value, Decl(strictSubtypeAndNarrowing.ts, 225, 11))
+>premium : Symbol(premium, Decl(strictSubtypeAndNarrowing.ts, 221, 14))
+    }
+};
+

tests/baselines/reference/strictSubtypeAndNarrowing.types

@@ -514,3 +514,46 @@ function test2(foo: Foo): {value: {type: 'A'}; a?: number} {
 >foo : { value: { type: "A"; }; a?: number | undefined; }
 }
 
+// Repro from #53063
+
+interface Free {
+    premium: false;
+>premium : false
+>false : false
+}
+
+interface Premium {
+    premium: true;
+>premium : true
+>true : true
+}
+
+type Union = { premium: false } | { premium: true };
+>Union : { premium: false; } | { premium: true; }
+>premium : false
+>false : false
+>premium : true
+>true : true
+
+declare const checkIsPremium: (a: Union) => a is Union & Premium;
+>checkIsPremium : (a: Union) => a is { premium: true; } & Premium
+>a : Union
+
+const f = (value: Union) => {
+>f : (value: Union) => void
+>(value: Union) => {    if (!checkIsPremium(value)) {        value.premium;    }} : (value: Union) => void
+>value : Union
+
+    if (!checkIsPremium(value)) {
+>!checkIsPremium(value) : boolean
+>checkIsPremium(value) : boolean
+>checkIsPremium : (a: Union) => a is { premium: true; } & Premium
+>value : Union
+
+        value.premium;
+>value.premium : false
+>value : { premium: false; }
+>premium : false
+    }
+};
+

tests/cases/compiler/strictSubtypeAndNarrowing.ts

@@ -210,3 +210,23 @@ function test2(foo: Foo): {value: {type: 'A'}; a?: number} {
     assert(!doesValueAtDeepPathSatisfy(foo, ['value', 'type'], isB));
     return foo;
 }
+
+// Repro from #53063
+
+interface Free {
+    premium: false;
+}
+
+interface Premium {
+    premium: true;
+}
+
+type Union = { premium: false } | { premium: true };
+
+declare const checkIsPremium: (a: Union) => a is Union & Premium;
+
+const f = (value: Union) => {
+    if (!checkIsPremium(value)) {
+        value.premium;
+    }
+};