Enum VerifyFailure 

pub enum VerifyFailure {
    Input(Vec<VerifyError>),
    Output(Vec<VerifyError>),
}

Which verify step failed in verify_then_optimize.

Variants

Input(Vec<VerifyError>)

Input descriptor was invalid before any rewrites ran.

Output(Vec<VerifyError>)

The rewrite pipeline produced an invalid descriptor - a real bug in the rewrite stack. The fuzz harness gates this; if you hit it in production, it’s a bug to file.

Implementations

impl VerifyFailure

pub fn errors(&self) -> &[VerifyError]

Trait Implementations

impl Clone for VerifyFailure

fn clone(&self) -> VerifyFailure

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyFailure

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

Formats the value using the given formatter.

impl Eq for VerifyFailure

impl PartialEq for VerifyFailure

fn eq(&self, other: &VerifyFailure) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for VerifyFailure