Skip to content

Issues: scala/scala3

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

Clear current search query, filters, and sorts
29 Open 74 Closed
29 Open 74 Closed
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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Separation Checker: Crash when prefixing a read-only capture-variable through a self-type annotation area:experimental:cc Capture checking related itype:bug itype:crash
#23235 opened May 22, 2025 by bracevac
@bracevac
2
Cannot create impure partial functions with scala2-library-cc area:experimental:cc Capture checking related area:scala2-library-tasty Any issue generaing or using the Scala 2 library TASTy itype:bug
#23225 opened May 21, 2025 by natsukagami
Capture leak by selection chain area:experimental:cc Capture checking related itype:bug
#23207 opened May 20, 2025 by noti0na1
Separation checking treats p and p.fst as separate area:experimental:cc Capture checking related itype:bug
#22848 opened Mar 20, 2025 by Linyxus
1
Interaction between separation checking and pattern matching area:experimental:cc Capture checking related itype:bug
#22847 opened Mar 20, 2025 by Linyxus
2
Change representation of retains annotation? area:annotations area:experimental:cc Capture checking related itype:language enhancement itype:question stat:needs decision Some aspects of this issue need a decision from the maintainance team.
#22842 opened Mar 20, 2025 by odersky
1
@noti0na1
Drop @experimental for retains and retainsCap area:experimental:cc Capture checking related area:experimental itype:enhancement needs-minor-release This PR cannot be merged until the next minor release
#22745 opened Mar 7, 2025 by natsukagami
4
Expressiveness problem with capture checking paths area:experimental:cc Capture checking related itype:language enhancement
#22723 opened Mar 5, 2025 by odersky
@bracevac @noti0na1
4
Things to do for separation checking area:experimental:cc Capture checking related itype:enhancement
#22613 opened Feb 16, 2025 by odersky
3 of 11 tasks
CC: Improve inference of functions (Typing boundary/break) area:experimental:cc Capture checking related cc-experiment Intended to be merged with cc-experiment branch on origin itype:bug
#22481 opened Jan 29, 2025 by bracevac
Capture checking interferes with implicit search area:experimental:cc Capture checking related area:experimental:modularity Issues related to the modularity extension. itype:bug
#22146 opened Dec 5, 2024 by kyouko-taiga
3
Error message with capture sets variables can be confusing area:experimental:cc Capture checking related area:reporting Error reporting including formatting, implicit suggestions, etc better-errors Issues concerned with improving confusing/unhelpful diagnostic messages itype:enhancement
#21998 opened Nov 21, 2024 by odersky
Better error reporting for box adaptation failures area:experimental:cc Capture checking related itype:bug
#21675 opened Sep 30, 2024 by Linyxus
@odersky @bracevac
@noti0na1 @natsukagami @Linyxus
1
Implement correct capture check for lazy vals area:experimental:cc Capture checking related cc-experiment Intended to be merged with cc-experiment branch on origin itype:bug
#21601 opened Sep 17, 2024 by odersky
@bracevac
Need a way to specify a method's charging a capture set parameter area:experimental:cc Capture checking related cc-experiment Intended to be merged with cc-experiment branch on origin itype:enhancement
#21387 opened Aug 14, 2024 by natsukagami
@odersky @bracevac
@natsukagami @Linyxus
3
Wrong capture checking result with path area:experimental:cc Capture checking related itype:bug
#20481 opened May 27, 2024 by noti0na1
@odersky
1
Orphan type parameter references crash pickler in capture checked programs area:experimental:cc Capture checking related cc-experiment Intended to be merged with cc-experiment branch on origin itype:bug
#20272 opened Apr 26, 2024 by Linyxus
1
@Linyxus
2
Wrong CaptureSet comparison for singleton types area:experimental:cc Capture checking related cc-experiment Intended to be merged with cc-experiment branch on origin itype:bug
#20228 opened Apr 18, 2024 by noti0na1
Capture checking does not cover values in scope area:experimental:cc Capture checking related itype:bug
#19855 opened Mar 2, 2024 by markehammons
Under CC, subtyping between a type variable and its impure upper bound is rejected area:experimental:cc Capture checking related cc-experiment Intended to be merged with cc-experiment branch on origin itype:bug
#19076 opened Nov 25, 2023 by Linyxus
1
@Linyxus
1
Unmapped type from capture checking with levels area:experimental:cc Capture checking related
#18554 opened Sep 14, 2023 by EugeneFlesselle
1
[cc] inline polymorphic function failed to instantiate its type parameter to capturing type area:experimental:cc Capture checking related area:inline cc-experiment Intended to be merged with cc-experiment branch on origin itype:bug
#16978 opened Feb 20, 2023 by yawen-guan
10
Context function is eagerly applied inside a capture set area:experimental:cc Capture checking related cc-experiment Intended to be merged with cc-experiment branch on origin itype:bug
#16944 opened Feb 17, 2023 by reftrans
3
[cc] Method expects pure parameter type when the declared parameter type captures a class member area:experimental:cc Capture checking related cc-experiment Intended to be merged with cc-experiment branch on origin itype:language enhancement
#16826 opened Feb 3, 2023 by yawen-guan
1
Inferred return type of overridden method is forced to be pure area:experimental:cc Capture checking related itype:bug
#16535 opened Dec 15, 2022 by Linyxus
@Linyxus
ProTip! Type g i on any issue or pull request to go back to the issue listing page.