Search results

Matching <code>BigInt</code> against <code>Int</code> literal pattern leads to warning

area:pattern-matching

itype:bug

Status: Open.

#23316 In scala/scala3;

· t9dupuy opened on Jun 4, 2025

False error in pattern matching "pattern's type TC[_] is more specialized than the right hand side expression's type TC[?]"

area:pattern-matching

area:typer

itype:bug

Status: Open.

#23274 In scala/scala3;

· smarter opened on May 27, 2025

Pattern matching syntax support is incomplete under projected types

area:pattern-matching

itype:bug

Status: Open.

#23271 In scala/scala3;

· rcano opened on May 27, 2025

pattern matcher generates illegal isInstanceOf[Null] for nullable parameter of unapply

area:nullability

area:pattern-matching

itype:bug

Status: Open.

#23243 In scala/scala3;

· olhotak opened on May 22, 2025

Extractor returning <code>NamedTuple</code> is not considered exhaustive

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

area:pattern-matching

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

itype:bug

Status: Open.

#23158 In scala/scala3;

· eejbyfeldt opened on May 14, 2025

Compiler crash using Tuple :* syntax for a NamedTuple in unapply

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

area:pattern-matching

itype:bug

itype:crash

Status: Open.

#23155 In scala/scala3;

· eejbyfeldt opened on May 14, 2025

"Unreachable case" is, in fact, reachable

area:pattern-matching

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:bug

Status: Open.

#23113 In scala/scala3;

· durban opened on May 7, 2025

Unclear warning in pattern match

area:pattern-matching

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

itype:bug

Status: Open.

#23028 In scala/scala3;

· tgodzik opened on Apr 22, 2025

Poor code generated for non-failing pattern match

area:pattern-matching

itype:enhancement

Status: Open.

#23016 In scala/scala3;

· nmichael44 opened on Apr 18, 2025

no warn when pattern match not exhaustive

area:pattern-matching

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

itype:bug

Status: Open.

#23006 In scala/scala3;

· road21 opened on Apr 16, 2025

Variance does not play well with pattern matching

area:pattern-matching

area:varianceIssues related to covariance & contravariance.Issues related to covariance & contravariance.

itype:bug

Status: Open.

#22993 In scala/scala3;

· TomasMikula opened on Apr 12, 2025

Failure to refine @-bound variables (x @ &lt;pattern&gt;) when pattern is a literal

area:pattern-matching

itype:bug

Status: Open.

#22954 In scala/scala3;

· TomasMikula opened on Apr 9, 2025