Skip to content
New issue

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

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

Already on GitHub? # to your account

Drop inaccessible subclasses from refineUsingParent #21799

Merged
merged 1 commit into from
Nov 6, 2024

Conversation

dwijnand
Copy link
Member

Fixes #21790

@dwijnand dwijnand marked this pull request as ready for review October 30, 2024 10:08
@dwijnand dwijnand requested a review from SethTisue October 30, 2024 10:08
@dwijnand dwijnand merged commit 4e07efc into scala:main Nov 6, 2024
28 checks passed
@dwijnand dwijnand deleted the disjoint-private-sealed branch November 6, 2024 12:11
Comment on lines +924 to +928
val inst = wildApprox(protoTp1)
if !inst.classSymbol.exists then
// E.g. i21790, can't instantiate S#CA as a subtype of O.A, because O.CA isn't accessible
NoType
else inst
Copy link
Member

Choose a reason for hiding this comment

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

@dwijnand The following change breaks the main branch by failling the tests/warn/i21860 test

hamzaremmal added a commit that referenced this pull request Nov 7, 2024
Reverts #21799

The following changes were merged at the ~same time as adding the
`tests/warn/i21860.scala` test, which are breaking that test. We revert
it for now to unblock merging to `main`.
@WojciechMazur WojciechMazur added this to the 3.6.3 milestone Dec 9, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
4 participants