Ignore a non_exhaustive attribute in a pattern match?

This earlier discussion of the same question may help.

4 Likes