Struct Assert

pub struct Assert {
    pub cond: Operand,
    pub expected: bool,
}

Asserts are special constructs introduced by Rust to perform dynamic checks, to detect out-of-bounds accesses or divisions by zero for instance. We eliminate the assertions in [crate::remove_dynamic_checks], then introduce other dynamic checks in [crate::reconstruct_asserts].

Fields

cond: Operand

expected: bool

Trait Implementations

impl Clone for Assert

fn clone(&self) -> Assert

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Assert

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Assert

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Drive for Assert

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for Assert

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

impl<C: AstFormatter> FmtWithCtx<C> for Assert

fn fmt_with_ctx(&self, ctx: &C) -> String

fn fmt_with_ctx_and_indent(&self, _tab: &str, _ctx: &C) -> String

fn with_ctx<'a>(&'a self, ctx: &'a C) -> impl Display + 'a

Returns a struct that implements Display. This allows the following:

impl Serialize for Assert

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

where __S: Serializer,

Serialize this value into the given Serde serializer.