Enum mirai_annotations::TagPropagation [−][src]
pub enum TagPropagation {}Show variants
Add, AddOverflows, And, BitAnd, BitNot, BitOr, BitXor, Cast, Div, Equals, GreaterOrEqual, GreaterThan, IntrinsicBinary, IntrinsicBitVectorUnary, IntrinsicFloatingPointUnary, LessOrEqual, LessThan, LogicalNot, Memcmp, Mul, MulOverflows, Ne, Neg, Or, Offset, Rem, Shl, ShlOverflows, Shr, ShrOverflows, Sub, SubComponent, SubOverflows, SuperComponent, Transmute, UninterpretedCall,
Expand description
An enum type of controllable operations for MIRAI tag types. In general, the result of the operation corresponding to an enum value will get tagged with all of the tags of the operands.
Variants
Tagging a structured value also tags all of the component values.
Tagging a value also tags any structured value that includes it.
Trait Implementations
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Auto Trait Implementations
impl RefUnwindSafe for TagPropagation
impl Send for TagPropagation
impl Sync for TagPropagation
impl Unpin for TagPropagation
impl UnwindSafe for TagPropagation
Blanket Implementations
Mutably borrows from an owned value. Read more