There are also linters [0] available for checking that your cases are exhaustive, which can even be configured to emit the lack of exhaustive checking as an error, rather than just a message or warning.

[0] Roslyn Analyzers: https://docs.microsoft.com/en-us/visualstudio/code-quality/r...