Skip to content

Fix this references everywhere in dependent function types #23514

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 13, 2025

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Jul 13, 2025

We did fix them in parameters of dependent function types, but not in the result type. This led to a this reference being seen incorrectly as referring to the dependent function type itself.

Fixes #23111

We did fix them in parameters of dependent function types, but not in the
result type. This led to a this reference being seen incorrectly as
referring to the dependent function type itself.

Fixes scala#23111
@odersky odersky requested a review from smarter July 13, 2025 11:56
Copy link
Member

@smarter smarter left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

@smarter smarter merged commit 5a7b4b1 into scala:main Jul 13, 2025
29 checks passed
@smarter smarter deleted the fix-23111 branch July 13, 2025 15:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

this.type in function types is sometimes misinterpreted to mean "this function" instead of "this class", leading to crash with infinite recursive type
2 participants