Skip to content

Conversation

nox213
Copy link
Contributor

@nox213 nox213 commented Sep 19, 2025

closes #23734

tycon of Applied type was avoided from checking inhabited.

Copy link
Member

@zielinsky zielinsky left a comment

Choose a reason for hiding this comment

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

Thanks for your contribution! LGTM!

@zielinsky zielinsky merged commit 89e316e into scala:main Sep 23, 2025
50 checks passed
@nox213 nox213 deleted the fix/i23734 branch September 23, 2025 11:08
WojciechMazur added a commit that referenced this pull request Sep 23, 2025
Backports #23964 to the 3.7.4.

PR submitted by the release tooling.
[skip ci]
@WojciechMazur WojciechMazur added this to the 3.7.4 milestone Sep 23, 2025
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.

false exhaustivity warning for shared inner sealed traits and type parameters
3 participants