4 ms·I think both are not exhaustive (or don't have exhaustiveness enforced by the compiler).by hepta 9y agoI think both are not exhaustive (or don't have exhaustiveness enforced by the compiler).