Search results

List encoding checking failure due to boxing

area:experimental:ccCapture checking relatedCapture checking related

Status: Open.

#23366 In scala/scala3;

· odersky opened on Jun 14, 2025

Separation Checker: Crash when prefixing a read-only capture-variable through a self-type annotation

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

itype:crash

Status: Open.

#23235 In scala/scala3;

· bracevac opened on May 22, 2025

Cannot create impure partial functions with <code>scala2-library-cc</code>

area:experimental:ccCapture checking relatedCapture checking related

area:scala2-library-tastyAny issue generaing or using the Scala 2 library TASTyAny issue generaing or using the Scala 2 library TASTy

itype:bug

Status: Open.

#23225 In scala/scala3;

· natsukagami opened on May 21, 2025

Capture leak by selection chain

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#23207 In scala/scala3;

· noti0na1 opened on May 20, 2025

Separation checking treats <code>p</code> and <code>p.fst</code> as separate

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#22848 In scala/scala3;

· Linyxus opened on Mar 20, 2025

Interaction between separation checking and pattern matching

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#22847 In scala/scala3;

· Linyxus opened on Mar 20, 2025

Drop <code>@experimental</code> for <code>retains</code> and <code>retainsCap</code>

area:experimental

area:experimental:ccCapture checking relatedCapture checking related

itype:enhancement

needs-minor-releaseThis PR cannot be merged until the next minor releaseThis PR cannot be merged until the next minor release

Status: Open.

#22745 In scala/scala3;

· natsukagami opened on Mar 7, 2025

Expressiveness problem with capture checking paths

area:experimental:ccCapture checking relatedCapture checking related

itype:language enhancement

Status: Open.

#22723 In scala/scala3;

· odersky opened on Mar 5, 2025

Things to do for separation checking

area:experimental:ccCapture checking relatedCapture checking related

itype:enhancement

Status: Open.

#22613 In scala/scala3;

· odersky opened on Feb 16, 2025

CC: Improve inference of functions (Typing boundary/break)

area:experimental:ccCapture checking relatedCapture checking related

cc-experimentIntended to be merged with cc-experiment branch on originIntended to be merged with cc-experiment branch on origin

itype:bug

Status: Open.

#22481 In scala/scala3;

· bracevac opened on Jan 29, 2025

Capture checking interferes with implicit search

area:experimental:ccCapture checking relatedCapture checking related

area:experimental:modularityIssues related to the modularity extension.Issues related to the modularity extension.

itype:bug

Status: Open.

#22146 In scala/scala3;

· kyouko-taiga opened on Dec 5, 2024

Error message with capture sets variables can be confusing

area:experimental:ccCapture checking relatedCapture checking related

area:reportingError reporting including formatting, implicit suggestions, etcError reporting including formatting, implicit suggestions, etc

better-errorsIssues concerned with improving confusing/unhelpful diagnostic messagesIssues concerned with improving confusing/unhelpful diagnostic messages

itype:enhancement

Status: Open.

#21998 In scala/scala3;

· odersky opened on Nov 21, 2024