Search results

Scaladoc Support for Capture Checking

area:experimental:ccCapture checking relatedCapture checking related

itype:enhancement

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

Status: Open.

#23437 In scala/scala3;

· bracevac opened on Jun 26, 2025

Unsoundness with distribution of union over covariant types

itype:bug

stat:needs triageEvery issue needs to have an "area" and "itype" labelEvery issue needs to have an "area" and "itype" label

Status: Open.

#23435 In scala/scala3;

· SimonGuilloud opened on Jun 26, 2025

Fresh level checking bypassed for inferred lambda arguments

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#23431 In scala/scala3;

· Linyxus opened on Jun 26, 2025

Misleading leading infix error

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

itype:enhancement

Status: Open.

#23426 In scala/scala3;

· som-snytt opened on Jun 25, 2025

Well-typed expression in quote fails to re-typecheck during inlining

area:metaprogramming:quotesIssues related to quotes and splicesIssues related to quotes and splices

itype:bug

Status: Open.

#23423 In scala/scala3;

· smarter opened on Jun 25, 2025

Lack of support in CC: fresh caps inside type arguments

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#23421 In scala/scala3;

· Linyxus opened on Jun 25, 2025

ClassCastException for computed fields returning context functions

area:context functionsIssues tied to context functions.Issues tied to context functions.

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.

#23415 In scala/scala3;

· TomasMikula opened on Jun 24, 2025

Incorrect LineNumberTable for trait consturctors

area:positions

itype:bug

Status: Open.

#23413 In scala/scala3;

· SrTobi opened on Jun 24, 2025

Exprs that take a <code>NamedTuple</code> argument (but not <code>&lt;: AnyNamedTuple</code>) can't be matched against when the method that calls the macro is <code>transparent inline</code>

area:named-tuplesIssues tied to the named tuples feature.Issues tied to the named tuples feature.

itype:bug

Status: Open.

#23412 In scala/scala3;

· arainko opened on Jun 24, 2025

<code>NamedTuple</code> exprs can't be directly matched against in macros

area:metaprogramming:quotesIssues related to quotes and splicesIssues related to quotes and splices

area:named-tuplesIssues tied to the named tuples feature.Issues tied to the named tuples feature.

itype:bug

Status: Open.

#23411 In scala/scala3;

· arainko opened on Jun 24, 2025

Regression: <code>betterFors</code> doesn't remove trailing <code>map</code>

area:transform

itype:bug

Status: Open.

#23409 In scala/scala3;

· marcinzh opened on Jun 24, 2025

ReplCompiler should include unrolling phase

area:experimental:unrollIssues tied to the @unroll annotationIssues tied to the @unroll annotation

area:repl

itype:enhancement

Status: Open.

#23408 In scala/scala3;

· bishabosha opened on Jun 24, 2025