Module embed_variant_predicate_scope 

Boolean scope of the variant checks a predicate over an enum variant’s field requires: the check is part of the predicate, so negating or combining the predicate treats the guarded comparison as a whole.

Functions

optional_field_negation

variant_guard_through_relation