add test case

Author: Andarist

tests/baselines/reference/reachabilityChecks12.symbols

@@ -111,3 +111,41 @@ const d = (v: number) => {
   }
 };
 
+// https://github.com/microsoft/TypeScript/issues/63004
+const report: (e: any) => never = (e): never => {
+>report : Symbol(report, Decl(reachabilityChecks12.ts, 59, 5))
+>e : Symbol(e, Decl(reachabilityChecks12.ts, 59, 15))
+>e : Symbol(e, Decl(reachabilityChecks12.ts, 59, 35))
+
+  throw e;
+>e : Symbol(e, Decl(reachabilityChecks12.ts, 59, 35))
+
+};
+
+const foo = async (): Promise<number> => {
+>foo : Symbol(foo, Decl(reachabilityChecks12.ts, 63, 5))
+>Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
+
+  try {
+    return 3;
+  } catch (e) {
+>e : Symbol(e, Decl(reachabilityChecks12.ts, 66, 11))
+
+    report(e);
+>report : Symbol(report, Decl(reachabilityChecks12.ts, 59, 5))
+>e : Symbol(e, Decl(reachabilityChecks12.ts, 66, 11))
+
+  } finally {
+    if (Math.random()) {
+>Math.random : Symbol(Math.random, Decl(lib.es5.d.ts, --, --))
+>Math : Symbol(Math, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.core.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
+>random : Symbol(Math.random, Decl(lib.es5.d.ts, --, --))
+
+      console.log("heh");
+>console.log : Symbol(Console.log, Decl(lib.dom.d.ts, --, --))
+>console : Symbol(console, Decl(lib.dom.d.ts, --, --))
+>log : Symbol(Console.log, Decl(lib.dom.d.ts, --, --))
+    }
+  }
+};
+

tests/baselines/reference/reachabilityChecks12.types

@@ -195,3 +195,66 @@ const d = (v: number) => {
   }
 };
 
+// https://github.com/microsoft/TypeScript/issues/63004
+const report: (e: any) => never = (e): never => {
+>report : (e: any) => never
+>       : ^ ^^   ^^^^^     
+>e : any
+>(e): never => {  throw e;} : (e: any) => never
+>                           : ^ ^^^^^^^^^^     
+>e : any
+
+  throw e;
+>e : any
+
+};
+
+const foo = async (): Promise<number> => {
+>foo : () => Promise<number>
+>    : ^^^^^^               
+>async (): Promise<number> => {  try {    return 3;  } catch (e) {    report(e);  } finally {    if (Math.random()) {      console.log("heh");    }  }} : () => Promise<number>
+>                                                                                                                                                       : ^^^^^^               
+
+  try {
+    return 3;
+>3 : 3
+>  : ^
+
+  } catch (e) {
+>e : unknown
+>  : ^^^^^^^
+
+    report(e);
+>report(e) : never
+>          : ^^^^^
+>report : (e: any) => never
+>       : ^ ^^   ^^^^^     
+>e : unknown
+>  : ^^^^^^^
+
+  } finally {
+    if (Math.random()) {
+>Math.random() : number
+>              : ^^^^^^
+>Math.random : () => number
+>            : ^^^^^^      
+>Math : Math
+>     : ^^^^
+>random : () => number
+>       : ^^^^^^      
+
+      console.log("heh");
+>console.log("heh") : void
+>                   : ^^^^
+>console.log : (...data: any[]) => void
+>            : ^^^^    ^^     ^^^^^    
+>console : Console
+>        : ^^^^^^^
+>log : (...data: any[]) => void
+>    : ^^^^    ^^     ^^^^^    
+>"heh" : "heh"
+>      : ^^^^^
+    }
+  }
+};
+

tests/cases/compiler/reachabilityChecks12.ts

@@ -59,3 +59,20 @@ const d = (v: number) => {
     }
   }
 };
+
+// https://github.com/microsoft/TypeScript/issues/63004
+const report: (e: any) => never = (e): never => {
+  throw e;
+};
+
+const foo = async (): Promise<number> => {
+  try {
+    return 3;
+  } catch (e) {
+    report(e);
+  } finally {
+    if (Math.random()) {
+      console.log("heh");
+    }
+  }
+};