dsavvinov
12/22/2017, 10:12 PMwhen
can be quite nice in some use-cases, and we're aware of that. It's just not the first-priority feature currently.natpryce
12/23/2017, 12:02 AMwhen
as an expression that evaluates to Unit, and so check for exhaustiveness.