Struct bytecode::verification_analysis_v2::VerificationInfoV2

pub struct VerificationInfoV2 {
    pub verified: bool,
    pub inlined: bool,
}

The annotation for information about verification.

Fields

verified: bool

Whether the function is target of verification.

inlined: bool

Whether the function needs to have an inlined variant since it is called from a verified function and is not opaque.

Trait Implementations

impl Clone for VerificationInfoV2

fn clone(&self) -> VerificationInfoV2

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for VerificationInfoV2

fn default() -> VerificationInfoV2

Returns the “default value” for a type.