Add tests for contextual param type assignment in nested return type inference scenarios

[Andarist]

Those are newly functional since #61668

[Copilot]

Pull Request Overview

This PR adds test cases for contextual parameter type assignment in nested return type inference scenarios. The tests verify that TypeScript correctly infers parameter types when functions are used in nested contexts where the return type must align with expected interfaces.

• Add four new test files demonstrating different variations of the type inference scenario
• Tests focus on ensuring parameter a is correctly inferred as string type in nested function contexts
• Baseline files confirm the expected type inference behavior is working correctly

Reviewed Changes

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

Show a summary per file

File	Description
contextualParamTypeVsNestedReturnTypeInference1.ts	Basic test case with simple Effect interface and function parameter inference
contextualParamTypeVsNestedReturnTypeInference2.ts	Extended test with complex conditional type inference for Effect parameters
contextualParamTypeVsNestedReturnTypeInference3.ts	Simplified conditional types without explicit never checks
contextualParamTypeVsNestedReturnTypeInference4.ts	Most basic test with direct type parameter passing to effectGen
Multiple baseline files	Expected type and symbol outputs for the test cases

[typescript-bot]

This PR doesn't have any linked issues. Please open an issue that references this PR. From there we can discuss and prioritise.