New issue

3.0.0

Closed

No due date

Closed Aug 2, 2023

99% complete

List view

Select all issues: List view

0 of 1 selected 0 issues of 1 selected

• Open
  1 (1)
• Closed
  927 (927)

Overconstrained GADT bounds in presence of bad bounds

area:gadt

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.

#11545 In scala/scala3;

· mario-bucev opened on Feb 26, 2021