Assign contextual parameter types to functions with type parameters

[Andarist]

fixes #61791

[Copilot]

Pull Request Overview

This PR enables contextual typing for function expressions that introduce type parameters and updates related tests and compiler logic to reflect this change.

• Updates fourslash tests to expect generic parameter T instead of any.
• Adds new compiler tests covering contextual typing of generic functions and generators.
• Removes exclusions for functions with type parameters in context-sensitivity checks.

Reviewed Changes

Copilot reviewed 7 out of 7 changed files in this pull request and generated no comments.

File	Description
tests/cases/fourslash/contextualTypingGenericFunction1.ts	Updated expected quickInfo for generic parameter contexts
tests/cases/compiler/contextualTypingGenericFunction2.ts	Added new tests for contextual typing of functions with type params
src/compiler/utilities.ts	Removed exclusion of type-parameterized functions from context checks
src/compiler/checker.ts	Removed type-parameter guard in return-expression context check

Comments suppressed due to low confidence (2)

src/compiler/utilities.ts:10785

• Update the function-level comment to reflect that functions with type parameters are now considered context-sensitive. For example, document why the previous exclusion was removed and reference issue Parameters in functions with type parameters are not contextually-typed #61791.

export function hasContextSensitiveParameters(node: FunctionLikeDeclaration): boolean {

src/compiler/checker.ts:21027

• Add or update a comment explaining that functions with type parameters now participate in contextual return typing and why the node.typeParameters check was removed.

function hasContextSensitiveReturnExpression(node: FunctionLikeDeclaration) {