Fixed anyFunctionType leak

[Mateusz Burzyński (Andarist)]

recreates #61980
fixes #61979

[Copilot]

🟡 Changes recommended

Two regression cases duplicate fn coverage instead of exercising the intended fn2 scenarios.

Once you've addressed the issues Copilot identified, you can request another Copilot review.

Pull request overview

Fixes cached anyFunctionType leakage during contextual return-type computation.

Changes:

• Recomputes return types without CheckModeSkipContextSensitive.
• Adds compiler regression cases and diagnostic/type/symbol baselines.

File summaries

File	Description
tsc/internal/checker/checker.go	Prevents context-sensitive return types from leaking anyFunctionType.
tsc/testdata/tests/cases/compiler/contextualTypingGenericFunction2.ts	Adds regression scenarios.
tsc/testdata/baselines/reference/compiler/contextualTypingGenericFunction2.errors.txt	Records expected diagnostics.
tsc/testdata/baselines/reference/compiler/contextualTypingGenericFunction2.types	Records inferred types.
tsc/testdata/baselines/reference/compiler/contextualTypingGenericFunction2.symbols	Records symbol information.

Review details

Suppressed comments (1)

tsc/testdata/tests/cases/compiler/contextualTypingGenericFunction2.ts:57

• This calls fn again and duplicates result3, leaving the corresponding inferred incompatible-return scenario untested for fn2. Change this call to fn2 and regenerate the baselines.

export const result6 = fn({

• Files reviewed: 5/5 changed files
• Comments generated: 1
• Review effort level: Balanced

---

💡 Add a code-review agent skill for context-aware, tailored reviews. Learn more in the docs.