Skip to content

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Mar 12, 2023

Fixes #17002

@odersky
Copy link
Contributor Author

odersky commented Mar 12, 2023

The test with the ordinal method is still failing:

#17002 (comment)

But I am not sure anything can be done. We generate mirrors for sealed traits. We cannot simply declare one of the alternatives to be @compileTimeOnly. To deal correctly with this, we'd have to let this ripple through all generated code, which will cause an explosion in complexity.

@dwijnand dwijnand merged commit 20dd9a0 into scala:main Mar 13, 2023
@dwijnand dwijnand deleted the fix-17002 branch March 13, 2023 10:18
@Kordyjan Kordyjan added this to the 3.3.1 milestone Aug 1, 2023
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.

Some givens ignore @compileTimeOnly annotation

3 participants