Struct StructDef 

pub struct StructDef {
    pub generics: Option<Generics>,
    pub refined_by: Option<RefineParams>,
    pub fields: Vec<Option<Ty>>,
    pub opaque: bool,
    pub invariants: Vec<Expr>,
}

Fields

generics: Option<Generics>

refined_by: Option<RefineParams>

fields: Vec<Option<Ty>>

opaque: bool

invariants: Vec<Expr>

Implementations

impl StructDef

pub fn needs_resolving(&self) -> bool

Whether the struct contains any path that needs to be resolved.

pub fn is_nontrivial(&self) -> bool

Is a non-trivial StructDef

Trait Implementations

impl Debug for StructDef

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

Formats the value using the given formatter.