Search results

Type bound lost in pattern matching

area:gadt

area:pattern-matching

itype:bug

Status: Open.

#20040 In scala/scala3;

· Krever opened on Mar 28, 2024

Incorrect exhaustivity warning in pattern matches with GADTs

area:gadt

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

itype:bug

Status: Open.

#19687 In scala/scala3;

· nrinaudo opened on Feb 14, 2024

GADT constraints not propagated correctly

area:gadt

itype:enhancement

Status: Open.

#18740 In scala/scala3;

· pjmc-oliveira opened on Oct 20, 2023

Inconsistencies in typechecking pattern matching for type-parameter and type-member GADT

area:gadt

area:typer

itype:bug

Status: Open.

#17235 In scala/scala3;

· DmytroMitin opened on Apr 12, 2023

GADT with subtype cause non exhaustive match

area:gadt

itype:bug

Status: Open.

#17118 In scala/scala3;

· peter-jerry-ye opened on Mar 16, 2023

GADT: superclass' type param instantiated to union type in a subclass does not infer properly

area:gadt

itype:enhancement

Status: Open.

#17075 In scala/scala3;

· TomasMikula opened on Mar 9, 2023

Scala 3 macro cannot match abstract types

area:gadt

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

itype:bug

Status: Open.

#16782 In scala/scala3;

· Atry opened on Jan 28, 2023

A GADT type parameter throws off even a non-GADT one

area:gadt

itype:bug

Status: Open.

#16745 In scala/scala3;

· TomasMikula opened on Jan 22, 2023

Lack of type refinement for match case

area:gadt

itype:bug

Status: Open.

#15958 In scala/scala3;

· Bersier opened on Sep 3, 2022

GADT reasoning does not work with quotes

area:gadt

itype:bug

Status: Open.

#15879 In scala/scala3;

· LPTK opened on Aug 18, 2022

GADT parameter ordering is not recorded during registration

area:gadt

itype:bug

Status: Open.

#15868 In scala/scala3;

· Linyxus opened on Aug 16, 2022

Comparing Refined Types can lead to invalid subtype reconstruction

area:gadt

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.

#15485 In scala/scala3;

· abgruszecki opened on Jun 20, 2022