A pattern that matches when the inner pattern does not.
Readonly
The discriminant.
The pattern that must not match.
A pattern that matches when the inner pattern does not.