add an extra test case

Author: Andarist

tests/baselines/reference/narrowingNoInfer1.symbols

@@ -61,3 +61,40 @@ const something = map(m, (_) =>
 
 );
 
+declare function test2<T1, T2>(a: T1, b: T2, cb: (thing: NoInfer<T1> | NoInfer<T2>) => void): void;
+>test2 : Symbol(test2, Decl(narrowingNoInfer1.ts, 15, 2))
+>T1 : Symbol(T1, Decl(narrowingNoInfer1.ts, 17, 23))
+>T2 : Symbol(T2, Decl(narrowingNoInfer1.ts, 17, 26))
+>a : Symbol(a, Decl(narrowingNoInfer1.ts, 17, 31))
+>T1 : Symbol(T1, Decl(narrowingNoInfer1.ts, 17, 23))
+>b : Symbol(b, Decl(narrowingNoInfer1.ts, 17, 37))
+>T2 : Symbol(T2, Decl(narrowingNoInfer1.ts, 17, 26))
+>cb : Symbol(cb, Decl(narrowingNoInfer1.ts, 17, 44))
+>thing : Symbol(thing, Decl(narrowingNoInfer1.ts, 17, 50))
+>NoInfer : Symbol(NoInfer, Decl(lib.es5.d.ts, --, --))
+>T1 : Symbol(T1, Decl(narrowingNoInfer1.ts, 17, 23))
+>NoInfer : Symbol(NoInfer, Decl(lib.es5.d.ts, --, --))
+>T2 : Symbol(T2, Decl(narrowingNoInfer1.ts, 17, 26))
+
+test2({ type: 'a' as const }, { type: 'b' as const }, (thing) => {
+>test2 : Symbol(test2, Decl(narrowingNoInfer1.ts, 15, 2))
+>type : Symbol(type, Decl(narrowingNoInfer1.ts, 19, 7))
+>const : Symbol(const)
+>type : Symbol(type, Decl(narrowingNoInfer1.ts, 19, 31))
+>const : Symbol(const)
+>thing : Symbol(thing, Decl(narrowingNoInfer1.ts, 19, 55))
+
+  if (thing.type === "a") {
+>thing.type : Symbol(type, Decl(narrowingNoInfer1.ts, 19, 7), Decl(narrowingNoInfer1.ts, 19, 31))
+>thing : Symbol(thing, Decl(narrowingNoInfer1.ts, 19, 55))
+>type : Symbol(type, Decl(narrowingNoInfer1.ts, 19, 7), Decl(narrowingNoInfer1.ts, 19, 31))
+
+    thing;
+>thing : Symbol(thing, Decl(narrowingNoInfer1.ts, 19, 55))
+
+  } else {
+    thing;
+>thing : Symbol(thing, Decl(narrowingNoInfer1.ts, 19, 55))
+  }
+});
+

tests/baselines/reference/narrowingNoInfer1.types

@@ -96,3 +96,64 @@ const something = map(m, (_) =>
 
 );
 
+declare function test2<T1, T2>(a: T1, b: T2, cb: (thing: NoInfer<T1> | NoInfer<T2>) => void): void;
+>test2 : <T1, T2>(a: T1, b: T2, cb: (thing: NoInfer<T1> | NoInfer<T2>) => void) => void
+>      : ^  ^^  ^^ ^^  ^^ ^^  ^^  ^^                                          ^^^^^    
+>a : T1
+>  : ^^
+>b : T2
+>  : ^^
+>cb : (thing: NoInfer<T1> | NoInfer<T2>) => void
+>   : ^     ^^                         ^^^^^    
+>thing : NoInfer<T1> | NoInfer<T2>
+>      : ^^^^^^^^^^^^^^^^^^^^^^^^^
+
+test2({ type: 'a' as const }, { type: 'b' as const }, (thing) => {
+>test2({ type: 'a' as const }, { type: 'b' as const }, (thing) => {  if (thing.type === "a") {    thing;  } else {    thing;  }}) : void
+>                                                                                                                                 : ^^^^
+>test2 : <T1, T2>(a: T1, b: T2, cb: (thing: NoInfer<T1> | NoInfer<T2>) => void) => void
+>      : ^  ^^  ^^ ^^  ^^ ^^  ^^  ^^                                          ^^^^^^^^^
+>{ type: 'a' as const } : { type: "a"; }
+>                       : ^^^^^^^^^^^^^^
+>type : "a"
+>     : ^^^
+>'a' as const : "a"
+>             : ^^^
+>'a' : "a"
+>    : ^^^
+>{ type: 'b' as const } : { type: "b"; }
+>                       : ^^^^^^^^^^^^^^
+>type : "b"
+>     : ^^^
+>'b' as const : "b"
+>             : ^^^
+>'b' : "b"
+>    : ^^^
+>(thing) => {  if (thing.type === "a") {    thing;  } else {    thing;  }} : (thing: NoInfer<{ type: "a"; }> | NoInfer<{ type: "b"; }>) => void
+>                                                                          : ^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+>thing : NoInfer<{ type: "a"; }> | NoInfer<{ type: "b"; }>
+>      : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+  if (thing.type === "a") {
+>thing.type === "a" : boolean
+>                   : ^^^^^^^
+>thing.type : "a" | "b"
+>           : ^^^^^^^^^
+>thing : NoInfer<{ type: "a"; }> | NoInfer<{ type: "b"; }>
+>      : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+>type : "a" | "b"
+>     : ^^^^^^^^^
+>"a" : "a"
+>    : ^^^
+
+    thing;
+>thing : NoInfer<{ type: "a"; }>
+>      : ^^^^^^^^^^^^^^^^^^^^^^^
+
+  } else {
+    thing;
+>thing : NoInfer<{ type: "b"; }>
+>      : ^^^^^^^^^^^^^^^^^^^^^^^
+  }
+});
+

tests/cases/compiler/narrowingNoInfer1.ts

@@ -17,3 +17,13 @@ function map<A, B>(items: readonly A[], f: (a: NoInfer<A>) => B) {
 const something = map(m, (_) =>
   _.result._tag === "a" ? { ..._, result: _.result } : null,
 );
+
+declare function test2<T1, T2>(a: T1, b: T2, cb: (thing: NoInfer<T1> | NoInfer<T2>) => void): void;
+
+test2({ type: 'a' as const }, { type: 'b' as const }, (thing) => {
+  if (thing.type === "a") {
+    thing;
+  } else {
+    thing;
+  }
+});