Struct StructDef 

pub struct StructDef {
    pub name: String,
    pub fields: Vec<StructField>,
    pub posture: Posture,
    pub is_clone: bool,
    pub thread_safety: ThreadSafety,
    pub destructor: Option<String>,
    pub is_builtin: bool,
    pub is_pub: bool,
    pub file_id: FileId,
    pub is_c_layout: bool,
}

Definition of a struct type.

Fields

name: String

Struct name

fields: Vec<StructField>

Fields in declaration order

posture: Posture

Final ownership posture (ADR-0080). Decides whether values of this struct are Copy, Affine (default — move on use, implicit drop), or Linear (must be explicitly consumed). Set by register_type_names from the declared keyword/@mark(...), then filled in from structural inference for unmarked types.

is_clone: bool

Whether this struct is marked with @derive(Clone) (compiler-synthesized recursive clone). ADR-0065. Independent of posture: every Copy type is automatically Clone, but @derive(Clone) can also be applied to affine types whose fields are all Clone.

thread_safety: ThreadSafety

ADR-0084: final thread-safety classification (Unsend < Send < Sync). Computed during validate_consistency as the structural minimum over fields, then overridden by any @mark(unsend) / @mark(checked_send) / @mark(checked_sync) directive on the declaration. Until that pass runs, the value reflects only the declared override (or Sync if none); call TypeInternPool::is_thread_safety_type for the load-bearing query rather than reading this field directly.

destructor: Option<String>

User-defined destructor function name, if any (e.g., “Data.__drop”)

is_builtin: bool

Whether this is a built-in type (e.g., String) injected by the compiler.

Built-in types behave like regular structs but have runtime implementations for their methods rather than generated code.

is_pub: bool

Whether this struct is public (visible outside its directory)

file_id: FileId

File ID this struct was declared in (for visibility checking)

is_c_layout: bool

ADR-0085: whether @mark(c) was applied — selects C layout (declaration-order fields, natural alignment, niche optimisation disabled) and makes the type eligible to cross the FFI boundary by value.

Implementations

impl StructDef

pub fn is_tuple_shaped(&self) -> bool

Returns true if this struct was synthesised to represent a tuple (ADR-0048): fields named “0”, “1”, …, “N-1”, in order, no methods, and the anon-struct name prefix.

pub fn tuple_display_name<F>(&self, fmt_ty: F) -> Option<String>

where F: FnMut(Type) -> String,

If this struct is tuple-shaped, render its tuple-syntax name: (T0, T1, ...) for arity ≥ 2, (T0,) for arity 1. The formatter is passed a callback to render each field type name.

impl StructDef

pub fn find_field(&self, name: &str) -> Option<(usize, &StructField)>

Find a field by name and return its index and definition.

pub fn field_count(&self) -> usize

Get the number of fields in this struct.

Trait Implementations

impl Clone for StructDef

fn clone(&self) -> StructDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StructDef

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StructDef

fn deserialize<__D>( __deserializer: __D, ) -> Result<StructDef, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for StructDef

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.