> Do you know why they dont do exhaustiveness checking? Because then you would need to limit matching to some kind of closed algebraic data type (ADT) so that

> Do you know why they dont do exhaustiveness checking? Because then you would need to limit matching to some kind of closed algebraic data type (ADT) so that compiler knows what is left to be matched on, or provide a catch-all clause. I thought scala does produce partial warnings matching on case classes