List view

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