4 ms·

You can't use non_exhaustive and Other. If you have an Other then it's exhaustive. This design is wrong.