Add regression test

Author: ahejlsberg

tests/baselines/reference/propagateNonInferrableType.js

@@ -0,0 +1,10 @@
+//// [propagateNonInferrableType.ts]
+declare function resolver<T>(): () => void;
+declare function wrapResolver<T>(resolverFunction: () => void): void;
+
+wrapResolver(resolver() || []);
+
+
+//// [propagateNonInferrableType.js]
+"use strict";
+wrapResolver(resolver() || []);

tests/baselines/reference/propagateNonInferrableType.symbols

@@ -0,0 +1,14 @@
+=== tests/cases/compiler/propagateNonInferrableType.ts ===
+declare function resolver<T>(): () => void;
+>resolver : Symbol(resolver, Decl(propagateNonInferrableType.ts, 0, 0))
+>T : Symbol(T, Decl(propagateNonInferrableType.ts, 0, 26))
+
+declare function wrapResolver<T>(resolverFunction: () => void): void;
+>wrapResolver : Symbol(wrapResolver, Decl(propagateNonInferrableType.ts, 0, 43))
+>T : Symbol(T, Decl(propagateNonInferrableType.ts, 1, 30))
+>resolverFunction : Symbol(resolverFunction, Decl(propagateNonInferrableType.ts, 1, 33))
+
+wrapResolver(resolver() || []);
+>wrapResolver : Symbol(wrapResolver, Decl(propagateNonInferrableType.ts, 0, 43))
+>resolver : Symbol(resolver, Decl(propagateNonInferrableType.ts, 0, 0))
+

tests/baselines/reference/propagateNonInferrableType.types

@@ -0,0 +1,16 @@
+=== tests/cases/compiler/propagateNonInferrableType.ts ===
+declare function resolver<T>(): () => void;
+>resolver : <T>() => () => void
+
+declare function wrapResolver<T>(resolverFunction: () => void): void;
+>wrapResolver : <T>(resolverFunction: () => void) => void
+>resolverFunction : () => void
+
+wrapResolver(resolver() || []);
+>wrapResolver(resolver() || []) : void
+>wrapResolver : <T>(resolverFunction: () => void) => void
+>resolver() || [] : () => void
+>resolver() : () => void
+>resolver : <T>() => () => void
+>[] : never[]
+

tests/cases/compiler/propagateNonInferrableType.ts

@@ -0,0 +1,6 @@
+// @strict: true
+
+declare function resolver<T>(): () => void;
+declare function wrapResolver<T>(resolverFunction: () => void): void;
+
+wrapResolver(resolver() || []);