Analyzer Support for Exhaustiveness in Pattern Matching Type Checking

[MelbourneDeveloper]

Hi,

Your documentation here is very useful, and I agree with sentiment here:

However, I believe that the issue you point out with pattern matching is actually just a small issue with Roslyn's analyzer. This isn't an issue for you to fix, but I just thought this would be a useful piece of information for you.

This issue documents the problem, and perhaps gives an opportunity for the Roslyn team to pay attention to ADTs.