Search results

Match type fails to reduce in a simple case

area:match-types

area:typeclass-derivation

itype:bug

Status: Open.

#23159 In scala/scala3;

· keynmol opened on May 14, 2025

endless compilation when deferred inline + match type are used (LTS only)

area:match-types

itype:bug

itype:compiler hangsIssues where the compiler hangs.Issues where the compiler hangs.

stat:fixed in nextThe issue was fixed in Next and only still applies to LTS.The issue was fixed in Next and only still applies to LTS.

Status: Open.

#23110 In scala/scala3;

· road21 opened on May 6, 2025

Bounds checking on AnyKind match type forgets parallel information about scrutinee

area:match-types

area:typer

itype:bug

Status: Open.

#23010 In scala/scala3;

· s5bug opened on Apr 16, 2025

Improve error: the pattern contains an unaccounted type parameter

area:match-types

area:pattern-matching

area:typeclass-derivation

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

itype:bug

Status: Open.

#22943 In scala/scala3;

· TomasMikula opened on Apr 8, 2025

Match type on type alias with multiple parameters fails

area:match-types

itype:bug

Status: Open.

#22644 In scala/scala3;

· kavedaa opened on Feb 23, 2025

Single indirection makes <code>implicitNotFound</code> print the argument name not its value

area:annotations

area:match-types

itype:bug

Status: Open.

#22348 In scala/scala3;

· belamenso opened on Jan 12, 2025

Inability to do a simple type match on a deduced type

area:match-types

itype:bug

Status: Open.

#22347 In scala/scala3;

· belamenso opened on Jan 11, 2025

Match type fails to reduce in non-exhaustive pattern match

area:match-types

area:typer

itype:bug

Status: Open.

#21425 In scala/scala3;

· Bersier opened on Aug 23, 2024

Match type fails to reduce when it doesn't look like it needs to reduce

area:match-types

area:typer

itype:bug

Status: Open.

#21391 In scala/scala3;

· s5bug opened on Aug 15, 2024

Inconsistent handling of match types on dependent types when overriding

area:match-types

area:overloading

itype:bug

Status: Open.

#21265 In scala/scala3;

· m8nmueller opened on Jul 24, 2024

Unsound reduction of match type where the scrutinee's prefix is a param ref

area:match-types

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.

#20518 In scala/scala3;

· smarter opened on Jun 3, 2024

Unsound reduction of match types with refined trait member as scrutinee

area:match-types

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.

#20515 In scala/scala3;

· EugeneFlesselle opened on Jun 3, 2024