Avoid over-expanding recursive constraints in getBaseSignature

[Andarist]

copy of #3575 because GitHub choked and refused to include my latest pushed commit in the PR

[Copilot]

Pull request overview

Adjusts Checker.getBaseSignature to avoid over-expanding self-recursive generic constraints (fixing the inference regression tracked in #3564), and updates/cleans up the associated conformance baselines and triage entries.

Changes:

• Updates base-signature constraint instantiation to run one fewer “immediate constraint mapper” expansion step for recursive constraints.
• Updates conformance baselines for genericFunctionParameters so x3/f3(x => x) are any[] instead of any[][].
• Removes the now-resolved #3564 entry from testdata/submoduleTriaged.txt and deletes the corresponding reference .diff artifact.

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated 1 comment.

Show a summary per file

File	Description
internal/checker/checker.go	Changes the base-signature constraint expansion loop to avoid over-expansion of self-recursive constraints.
testdata/baselines/reference/submodule/conformance/genericFunctionParameters.types	Updates expected type output for x3 / f3(x => x) to any[].
testdata/baselines/reference/submodule/conformance/genericFunctionParameters.js	Updates generated .d.ts baseline for x3 to any[].
testdata/baselines/reference/submodule/conformance/genericFunctionParameters.types.diff	Removes the no-longer-needed reference diff file for this test.
testdata/submoduleTriaged.txt	Drops the triage entry for issue #3564 / genericFunctionParameters.