Comment by andreypopp

Does it (Dart, C#) support exhaustivity checking for such matching over subclasses?