Skip to content

Pull requests: scala/scala3

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Update CC doc page to new capture tracking syntax
#18387 by odersky was merged Aug 15, 2023 Loading… 3.4.0
Add capture checking to some standard library classes cc-experiment Intended to be merged with cc-experiment branch on origin
#18192 by odersky was merged Jul 22, 2023 Loading… 3.4.0
Fix issue #17465
#17627 by hamzaremmal was closed Jul 14, 2023 Draft
Implement separation checking
#17444 by Linyxus was closed Feb 16, 2025 Draft
Implement sealed type parameters
#17422 by odersky was merged May 10, 2023 Loading… 3.3.1
Change cc syntax
#17377 by odersky was merged May 10, 2023 Loading… 3.3.1
Match capability class as CapturingType
#16851 by Linyxus was closed May 20, 2025 Draft
Don't rollback in PatternTypeConstrainer
#16755 by dwijnand was closed Feb 21, 2023 Loading…
Split out immutable GadtConstraint
#16602 by dwijnand was merged Jan 26, 2023 Loading… 3.3.0
Add capture checking the compiler as a test
#16292 by odersky was merged Nov 10, 2022 Loading… 3.3.0
Eliminate class hierarchy in GadtConstraint
#16194 by dwijnand was merged Oct 25, 2022 Loading…
Several fixes to box inference
#16141 by Linyxus was merged Oct 15, 2022 Loading… 3.2.2
Give GadtConstraint a nicer toText
#16085 by dwijnand was merged Oct 3, 2022 Loading…
Fix mapping TypeMaps over annotations
#15948 by odersky was merged Sep 3, 2022 Loading… 3.2.2
Add experimental capture checking
#15877 by odersky was merged Aug 29, 2022 Loading…
Add experimental capture checking
#15875 by odersky was closed Aug 17, 2022 Loading…
Use GADT constraints in maximiseType
#15544 by dwijnand was merged Jul 12, 2022 Loading… 3.2.1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.