Checks if T is a Variant with at least one allowed type that satisfy isErr traits.
See Implementation
Checks if T is a Variant with at least one allowed type that satisfy isErr traits.