Struct StructDef 

pub struct StructDef {
    pub name: String,
    pub fields: Vec<StructField>,
    pub is_copy: bool,
    pub is_handle: bool,
    pub is_linear: bool,
    pub destructor: Option<String>,
    pub is_builtin: bool,
    pub is_pub: bool,
    pub file_id: FileId,
}

Definition of a struct type.

Fields

name: String

Struct name

fields: Vec<StructField>

Fields in declaration order

is_copy: bool

Whether this struct is marked with @copy (can be implicitly duplicated)

is_handle: bool

Whether this struct is marked with @handle (can be explicitly duplicated via .handle())

is_linear: bool

Whether this struct is a linear type (must be consumed, cannot be dropped)

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)

Implementations

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.