Analyzer Support for Exhaustiveness in Pattern Matching Type Checking #91
Description
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.