fix: type inference for lambdas and their parameters

[lars-reimann]

Summary of Changes

The following code led to a stack overflow when inferring the type of the call marked with the arrow:

pipeline p {
    g(() -> "1", (a) -> 2); // <-- here
}


@Pure
fun g<T>(
    q2: () -> b: T,
    q1: (a: T) -> (),
)

This PR fixes this.

[github-actions]

🦙 MegaLinter status: ✅ SUCCESS

Descriptor	Linter	Files	Fixed	Errors	Elapsed time
✅ REPOSITORY	git_diff	yes		no	0.13s
✅ TYPESCRIPT	eslint	3	0	0	4.59s
✅ TYPESCRIPT	prettier	3	0	0	1.1s

See detailed report in MegaLinter reports
Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff

MegaLinter is graciously provided by

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 99.72%. Comparing base (5a949c2) to head (e0b2f9f).
Report is 5 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1304      +/-   ##
==========================================
- Coverage   99.72%   99.72%   -0.01%     
==========================================
  Files         114      114              
  Lines       12811    12793      -18     
  Branches     4212     4203       -9     
==========================================
- Hits        12776    12758      -18     
  Misses         35       35              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[lars-reimann]

🎉 This PR is included in version 0.23.0 🎉

The release is available on:

• npm package (@latest dist-tag)
• npm package (@latest dist-tag)
• v0.23.0
• GitHub release

Your semantic-release bot 📦🚀