Skip to content

Generalize "Don't approximate a type using Nothing as prefix" #23628

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
Aug 6, 2025

Conversation

smarter
Copy link
Member

@smarter smarter commented Jul 29, 2025

This generalizes #23531 which skipped higher-kinded types, turns out approximating them to Nothing can lead to the same issue.

Fixes #23627.

This generalizes scala#23531 which skipped
higher-kinded types, turns out approximating them to Nothing can lead to the
same issue.

Fixes scala#23627.
@WojciechMazur WojciechMazur added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Jul 29, 2025
@WojciechMazur WojciechMazur added this to the 3.7.3 milestone Jul 29, 2025
@smarter smarter requested a review from EugeneFlesselle July 29, 2025 21:17
@Gedochao Gedochao requested a review from noti0na1 August 6, 2025 09:03
Copy link
Member

@noti0na1 noti0na1 left a comment

Choose a reason for hiding this comment

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

LGTM

@noti0na1 noti0na1 merged commit e0862a3 into scala:main Aug 6, 2025
45 checks passed
@noti0na1 noti0na1 deleted the fix-i23627 branch August 6, 2025 09:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Regression (again) in 3.7: "cannot resolve reference to type"
4 participants