Skip to content

[do not merge] Add capture checking annotation to Scala 3 Standard Library #23688

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.

Sign up for GitHub

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

Jump to bottom
Draft
wants to merge 25 commits into
base: main
Choose a base branch
from
Draft

[do not merge] Add capture checking annotation to Scala 3 Standard Library #23688

wants to merge 25 commits into from
+452 −64

Conversation

natsukagami
Copy link
Contributor

@natsukagami natsukagami commented Aug 7, 2025 •
edited
Loading

To-do:

  • IArray: check why cast doesn't work
  • Upper bound of tuple match types causing compiler crash
  • Mirror.scala is split: due to Mirror generation?

@natsukagami
Add capture checking to boundary and NonLocalReturns
44d704f
@natsukagami
Add capture-checking test for boundary
0ca72bc
@natsukagami
Patch DropBreaks to correctly detect boundary blocks
b20db6e 
We previously had the `ex.label eq label` comparision, which is no longer the case,
with the (package) private label field.
@natsukagami
Add capture checking to CommandLineParser
a796b67
@natsukagami
Add capture checking to scala.util
ea3018e
@natsukagami
Add capture checking to scala.runtime
76a9e8e 
Mostly imports here
@natsukagami
Add capture checking to rest of scala.runtime (except TupledFunctions)
f3dccd5
@natsukagami
Add capture checking to IArray
c422455
@natsukagami
[TODO INVESTIGATE] IArray: Array[AnyRef^{xs*}] not working, revert …
832213b 
…cast
@natsukagami
Add capture checking to various scala.* base package files
23a00cb 
Just imports
@natsukagami
[TODO FIX] Temporarily drop upper bound of higher-kinded type F in …
65581d1 
…tuple match types

Currently it's tripping up the cc phase
@natsukagami
Add capture checking to scala.reflect
e973be3 
Just imports for now, no quotes support for capturing types yet
@natsukagami
[TODO REMOVE] Add TODO list
254a0b3
@natsukagami natsukagami changed the title Add capture checking annotation to Scala 3 Standard Library [do not merge] Add capture checking annotation to Scala 3 Standard Library Aug 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@natsukagami @odersky