Skip to content

Make separation checking controlled by language import #23560

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 2 commits into from
Jul 21, 2025

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Jul 18, 2025

It's

import language.experimental.separationChecking

It's

    import language.experimental.separationChecking
@odersky odersky requested a review from a team as a code owner July 18, 2025 08:23
@odersky odersky requested a review from natsukagami July 18, 2025 15:41
@odersky odersky requested a review from bracevac July 18, 2025 17:12
@odersky odersky assigned bracevac and unassigned natsukagami Jul 18, 2025
Comment on lines +87 to +93
/** Experimental support for separation checking; requires captureChecking also to be enabled.
*
* @see [[https://dotty.epfl.ch/docs/reference/experimental/cc]]
*/
@compileTimeOnly("`separationChecking` can only be used at compile time in import statements")
object separationChecking

Copy link
Member

Choose a reason for hiding this comment

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

NOTE: I'll have to take this addition into account in #23562 after this PR is merged.

@odersky odersky merged commit a5c26cd into scala:main Jul 21, 2025
30 checks passed
@odersky odersky deleted the add-sepcheck-language-import branch July 21, 2025 10:07
hamzaremmal added a commit that referenced this pull request Jul 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.

4 participants