Search results

Spurious reach capability leaking error

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#24309 In scala/scala3;

· Linyxus opened on Oct 31, 2025

Issue with classes taking capabilities only in their method parameters

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

itype:soundnessSoundness bug (it lets us compile code that crashes at runtime with a ClassCastException)Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)

Status: Open.

#24145 In scala/scala3;

· odersky opened on Oct 7, 2025

Self-type capture sets are not considered by the compiler while accessing the object from outside.

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#24088 In scala/scala3;

· amsen20 opened on Sep 26, 2025

@use is deprecated in capture checking, but in the case of capability polymorphism, it is still needed.

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#24087 In scala/scala3;

· amsen20 opened on Sep 26, 2025

Bad interaction of enums and capture checked classes

area:enums

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#24057 In scala/scala3;

· Odomontois opened on Sep 24, 2025

Strange behaviour of capture checking and generics

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#24015 In scala/scala3;

· Odomontois opened on Sep 22, 2025

Compiler crashes when declaring a class private

area:capabilitiesIssues tied with scala.caps.CapabilitiesIssues tied with scala.caps.Capabilities

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

itype:crash

Status: Open.

#23918 In scala/scala3;

· nrinaudo opened on Sep 13, 2025

Separation checking does not work well for mutable variables with cap types

area:experimental:ccCapture checking relatedCapture checking related

area:experimental:separation-checkingIssues regarding language.experimental.separationCheckingIssues regarding language.experimental.separationChecking

itype:bug

Status: Open.

#23889 In scala/scala3;

· odersky opened on Sep 9, 2025

CC: Objects with tracked members appear pure

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#23850 In scala/scala3;

· bracevac opened on Sep 1, 2025

Local fresh caps are ignored in classes

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#23823 In scala/scala3;

· Linyxus opened on Aug 26, 2025

CC: Increase Precision of Errors for Lambdas

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#23820 In scala/scala3;

· bracevac opened on Aug 26, 2025

Scaladoc: Support for Interactive Feature Toggles

area:doctool

area:experimental:ccCapture checking relatedCapture checking related

area:nullability

itype:enhancement

needs-scaladoc-changesIssues/PRs that may require additional changes to scaladocIssues/PRs that may require additional changes to scaladoc

Semester ProjectGood project to be done by an MSc or strong Bsc computer science student in one semesterGood project to be done by an MSc or strong Bsc computer science student in one semester

Status: Open.

#23743 In scala/scala3;

· bracevac opened on Aug 14, 2025