We've just published a document with details on th...

# language-proposals

[Alejandro Serrano.Mena]

We've just published a document with details on the new data flow-based exhaustiveness checker to come as experimental in 2.2.20. This is a feature designed to stay out of your way -- in fact, it should help getting rid of useless else branches.