Struct AssertDecl 

pub struct AssertDecl<P: Phase = Raw> {
    pub visibility: Visibility,
    pub name: Spanned<DeclName>,
    pub body: AssertBody<P>,
}

Assert declaration: assert name = <expr>;

The body must evaluate to Bool. No type annotation (it’s always Bool). Assert declarations are leaf nodes — they are evaluated after the entire graph.

Fields

visibility: Visibility

name: Spanned<DeclName>

body: AssertBody<P>

Trait Implementations

impl<P: Clone + Phase> Clone for AssertDecl<P>

fn clone(&self) -> AssertDecl<P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug + Phase> Debug for AssertDecl<P>

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

Formats the value using the given formatter.

impl FormatEquivalent for AssertDecl

fn format_equivalent(&self, other: &Self) -> bool

Returns true if self and other are equivalent up to formatting.

impl From<AssertDecl> for AssertDecl<Desugared>

fn from(a: AssertDecl<Raw>) -> Self

Converts to this type from the input type.