Functions with type parameters are never contextsensitive

ahejlsberg · ahejlsberg · commit ef606138e8a0 · 2020-04-06T09:41:18.000-07:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -14251,7 +14251,7 @@ namespace ts {
 
         function hasContextSensitiveReturnExpression(node: FunctionLikeDeclaration) {
             // TODO(anhans): A block should be context-sensitive if it has a context-sensitive return value.
-            return !getEffectiveReturnTypeNode(node) && !!node.body && node.body.kind !== SyntaxKind.Block && isContextSensitive(node.body);
+            return !node.typeParameters && !getEffectiveReturnTypeNode(node) && !!node.body && node.body.kind !== SyntaxKind.Block && isContextSensitive(node.body);
         }
 
         function isContextSensitiveFunctionOrObjectLiteralMethod(func: Node): func is FunctionExpression | ArrowFunction | MethodDeclaration {

Original file line number	Diff line number	Diff line change
`@@ -14251,7 +14251,7 @@ namespace ts {`
`14251`	`14251`
`14252`	`14252`	`function hasContextSensitiveReturnExpression(node: FunctionLikeDeclaration) {`
`14253`	`14253`	`// TODO(anhans): A block should be context-sensitive if it has a context-sensitive return value.`
`14254`		`- return !getEffectiveReturnTypeNode(node) && !!node.body && node.body.kind !== SyntaxKind.Block && isContextSensitive(node.body);`
	`14254`	`+ return !node.typeParameters && !getEffectiveReturnTypeNode(node) && !!node.body && node.body.kind !== SyntaxKind.Block && isContextSensitive(node.body);`
`14255`	`14255`	`}`
`14256`	`14256`
`14257`	`14257`	`function isContextSensitiveFunctionOrObjectLiteralMethod(func: Node): func is FunctionExpression \| ArrowFunction \| MethodDeclaration {`