Enum OffsetGuarantee 

pub enum OffsetGuarantee {
    AtOffsetZero,
    GuaranteedAlignment(ExactSizeExpr),
    ReprCField {
        predecessor: Option<FieldId>,
    },
}

Guaranteed facts about a field offset.

Variants

AtOffsetZero

Guaranteed to be at offset zero. This applies for repr(transparent) and in some repr(C) cases.

GuaranteedAlignment(ExactSizeExpr)

Guaranteed only to be aligned to the given expression.

ReprCField

This offset is computed by the layout algorithm for C: take the previous field offset, add the previous field size, and align to the current field alignment.

Fields

predecessor: Option<FieldId>

If this is None, then the field is directly after the enum tag.

Implementations

impl OffsetGuarantee

pub fn is_at_offset_zero(&self) -> bool

pub fn is_guaranteed_alignment(&self) -> bool

pub fn is_repr_cfield(&self) -> bool

impl OffsetGuarantee

pub fn as_at_offset_zero(&self) -> Option<()>

pub fn as_guaranteed_alignment(&self) -> Option<&ExactSizeExpr>

pub fn as_repr_cfield(&self) -> Option<&Option<FieldId>>

impl OffsetGuarantee

pub fn as_at_offset_zero_mut(&mut self) -> Option<()>

pub fn as_guaranteed_alignment_mut(&mut self) -> Option<&mut ExactSizeExpr>

pub fn as_repr_cfield_mut(&mut self) -> Option<&mut Option<FieldId>>

impl OffsetGuarantee

pub fn variant_name(&self) -> &'static str

Trait Implementations

impl AstVisitable for OffsetGuarantee

fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_two<V: ZipAst>(&self, other: &Self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn name(&self) -> &'static str

The name of the type, used for debug logging.

fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))

where Self: Sized,

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))

where Self: Sized,

Visit all occurrences of that type inside self, in pre-order traversal.

impl Clone for OffsetGuarantee

fn clone(&self) -> OffsetGuarantee

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for OffsetGuarantee

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de, __State: ?Sized> DeserializeState<'de, __State> for OffsetGuarantee

where ExactSizeExpr: DeserializeState<'de, __State>, Option<FieldId>: DeserializeState<'de, __State>,

fn deserialize_state<__D>( __state: &__State, __deserializer: __D, ) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

impl<'s, V> Drive<'s, V> for OffsetGuarantee

where V: Visitor + Visit<'s, ExactSizeExpr> + Visit<'s, Option<FieldId>>,

fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveMut<'s, V> for OffsetGuarantee

where V: Visitor + VisitMut<'s, ExactSizeExpr> + VisitMut<'s, Option<FieldId>>,

fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveTwo<'s, V> for OffsetGuarantee

where V: Visitor<Break: Default> + VisitTwo<'s, ExactSizeExpr> + VisitTwo<'s, Option<FieldId>>,

fn drive_two_inner( &'s self, other: &'s Self, visitor: &mut V, ) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self and other, if they correspond. If the values don’t match up, this returns Break(Default::default()).

impl<__State: ?Sized> SerializeState<__State> for OffsetGuarantee

where ExactSizeExpr: SerializeState<__State>, Option<FieldId>: SerializeState<__State>,

fn serialize_state<__S>( &self, __state: &__State, __serializer: __S, ) -> Result<__S::Ok, __S::Error>

where __S: Serializer,