Enum VerificationPoint 

pub enum VerificationPoint {
    ModuleExists(Vec<String>),
    TypeExists(Vec<String>),
    HasDerive {
        ty: String,
        derives: Vec<String>,
    },
    HasField {
        ty: String,
        field: String,
        field_type: String,
    },
    MethodExists {
        ty: String,
        method: String,
    },
    Compiles,
    NoWarnings {
        allowed: Vec<String>,
    },
}

Verification point abstraction

Variants

ModuleExists(Vec<String>)

Check that a module exists

TypeExists(Vec<String>)

Check that types exist

HasDerive

Check that a type has specific derives

Fields

ty: String

derives: Vec<String>

HasField

Check that a struct has a specific field

Fields

ty: String

field: String

field_type: String

MethodExists

Check that a type has a specific method

Fields

ty: String

method: String

Compiles

Check that code compiles

NoWarnings

Check for no warnings (with allowed list)

Fields

allowed: Vec<String>

Trait Implementations

impl Clone for VerificationPoint

fn clone(&self) -> VerificationPoint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationPoint

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

Formats the value using the given formatter.

impl From<VerificationPointSpec> for VerificationPoint

fn from(spec: VerificationPointSpec) -> Self

Converts to this type from the input type.