Search results

Runtime crash: incorrect inline match resolution for intersection types with opaque types

area:inline

area:opaque-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.

#23779 In scala/scala3;

· jchyb opened on Aug 18, 2025

1 comment

Incorrect inline match for three elements

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.

#23776 In scala/scala3;

· Kright opened on Aug 18, 2025

GADT with dependent type parameters causes pickler crash orphan parameter reference when using Mirror

itype:bug

itype:crash

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

Status: Open.

#23774 In scala/scala3;

· eejbyfeldt opened on Aug 18, 2025

Overload resolution fails to disambiguate between the alternatives

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.

#23773 In scala/scala3;

· hamzaremmal opened on Aug 17, 2025

No warning for unused "masking" import selector

area:lintingLinting warnings enabled with -W or -XlintLinting warnings enabled with -W or -Xlint

itype:bug

Status: Open.

#23758 In scala/scala3;

· som-snytt opened on Aug 15, 2025

1

3 comments

"<type alias> does not take type parameters" when type parameter is same as the companion object for top-level type aliases

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.

#23752 In scala/scala3;

· unkarjedy opened on Aug 15, 2025

Assertion failure "attempted to take ownership of"

itype:bug

itype:crash

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

Status: Open.

#23751 In scala/scala3;

· eejbyfeldt opened on Aug 15, 2025

CC: Type variables can be used to bypass unboxing

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#23746 In scala/scala3;

· Linyxus opened on Aug 14, 2025

2 comments



false exhaustivity warning for shared inner sealed traits and type parameters

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.

#23734 In scala/scala3;

· eejbyfeldt opened on Aug 14, 2025

Nightly Dotty workflow of 2025-08-14 failed

area:community build

itype:bug

prio:blocker

Status: Open.

#23733 In scala/scala3;

· github-actions opened on Aug 14, 2025

4 comments

Span error caused by invalid match syntax

area:parser

area:pattern-matching

itype:bug

Status: Open.

#23729 In scala/scala3;

· kyouko-taiga opened on Aug 13, 2025

2 comments

Capture checking rejects closure with parameter dependencies

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#23727 In scala/scala3;

· Linyxus opened on Aug 12, 2025



Several separation checker issues

area:experimental:ccCapture checking relatedCapture checking related

itype:bug

Status: Open.

#23726 In scala/scala3;

· Linyxus opened on Aug 12, 2025



Type inference does not account for bounded type parameters from java

compat:java

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.

#23723 In scala/scala3;

· jchyb opened on Aug 12, 2025

scaladoc displays incorrect type for implicitly-added and shadowed methods

area:doctool

area:implicitsrelated to implicitsrelated to implicits

itype:bug

Status: Open.

#23720 In scala/scala3;

· katrinafyi opened on Aug 12, 2025

Export / Pattern match interplay

area:enums

area:export

area:pattern-matching

itype:bug

Status: Open.

#23707 In scala/scala3;

· Quafadas opened on Aug 11, 2025

Type mismatch error using case class extractor with multiple type parameters, constraints, and | matcher

area:pattern-matching

itype:bug

regressionThis worked in a previous version but doesn't anymoreThis worked in a previous version but doesn't anymore

Status: Open.

#23696 In scala/scala3;

· eejbyfeldt opened on Aug 8, 2025

2 comments



False positive unused private class with type parameter

area:lintingLinting warnings enabled with -W or -XlintLinting warnings enabled with -W or -Xlint

itype:bug

Status: Open.

#23694 In scala/scala3;

· eejbyfeldt opened on Aug 8, 2025

1



Self-typed inheritance crashing compiler

area:transform

itype:bug

itype:crash

stat:needs minimizationNeeds a self contained minimizationNeeds a self contained minimization

Status: Open.

#23692 In scala/scala3;

· jnatten opened on Aug 8, 2025

Applied constructor type "not a valid prefix"

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

itype:bug

Status: Open.

#23690 In scala/scala3;

· bishabosha opened on Aug 7, 2025

import scala.language.adhocExtensions may break incremental compilation

area:adhoc-extensionsIssues regarding `scala.language.adhocExtensions`Issues regarding `scala.language.adhocExtensions`

area:incremental-compilation

itype:bug

stat:cannot reproduce

stat:intermittent failureIssues tied to problems which pop up from time to time in non-deterministic circumstances.Issues tied to problems which pop up from time to time in non-deterministic circumstances.

stat:needs info

Status: Open.

#23689 In scala/scala3;

· OlegYch opened on Aug 7, 2025

Wildcard types are not disallowed in type ascriptions

area:typer

itype:bug

itype:crash

regression:scala2

Status: Open.

#23684 In scala/scala3;

· prolativ opened on Aug 7, 2025

Discrepancy in subtyping for covariant types with (bounded) wildcard arguments

area:typer

itype:bug

regression:scala2

Status: Open.

#23683 In scala/scala3;

· prolativ opened on Aug 7, 2025

FlexibleType's in the standard library artifact

area:flexible-typesIssues tied to FlexibleTypeIssues tied to FlexibleType

area:libraryStandard libraryStandard library

area:nullability

itype:bug

itype:metaIssues about process/similarIssues about process/similar

Status: Open.

#23682 In scala/scala3;

· sjrd opened on Aug 7, 2025

6 comments

Unnecessary reference duplicate in backend

area:backend

itype:bug

Status: Open.

#23681 In scala/scala3;

· guillaumecarraux opened on Aug 7, 2025

1 comment