Search results

Fix unsoundness in APPLY and SELECT rules

Status: Open (in progress).

scala/scala3number 24159

#24159 In scala/scala3;

· odersky opened on Oct 9, 2025

Better grouping of explanations in error messages

Status: Open (in progress).

scala/scala3number 24155

#24155 In scala/scala3;

· odersky opened on Oct 8, 2025

Introduce precise refined types

Status: Open (in progress).

scala/scala3number 24154

#24154 In scala/scala3;

· odersky opened on Oct 8, 2025

Drop redundant <code>Pure</code> parent traits in stdlib

Status: Merged (completed).

scala/scala3number 24149

#24149 In scala/scala3;

· by odersky was closed on Oct 8, 2025

Implement FreshCap Handling for Classes and Objects

area:experimental:ccCapture checking relatedCapture checking related

Status: Open (in progress).

scala/scala3number 24136

#24136 In scala/scala3;

· odersky opened on Oct 5, 2025

Changes to Fresh and Separation Checking

Status: Merged (completed).

scala/scala3number 24112

#24112 In scala/scala3;

· by odersky was closed on Oct 4, 2025

Make <code>into</code> a preview feature

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

Status: Merged (completed).

scala/scala3number 24090

#24090 In scala/scala3;

· by odersky was closed on Oct 2, 2025

Level checking: distinguish between certain capset vars with same owner

Status: Merged (completed).

scala/scala3number 24077

#24077 In scala/scala3;

· by odersky was closed on Sep 26, 2025

Make typeArgs in QuotesImpl work for AnnotatedTypes

Status: Merged (completed).

scala/scala3number 24018

#24018 In scala/scala3;

· by odersky was closed on Sep 23, 2025

Make isExactlyNothing and isExactlyAny work for And/OrTypes

Status: Merged (completed).

scala/scala3number 24016

#24016 In scala/scala3;

· by odersky was closed on Sep 23, 2025

· 

3.7.4

Remove warnings in build and test

Status: Merged (completed).

scala/scala3number 24010

#24010 In scala/scala3;

· by odersky was closed on Sep 23, 2025

Simplify Level Checking and Fix Errors

Status: Merged (completed).

scala/scala3number 23934

#23934 In scala/scala3;

· by odersky was closed on Sep 22, 2025