cranelift_codegen::verifier

Type Alias VerifierStepResult

Source
pub type VerifierStepResult = Result<(), ()>;
Expand description

Result of a step in the verification process.

Functions that return VerifierStepResult should also take a mutable reference to VerifierErrors as argument in order to report errors.

Here, Ok represents a step that did not lead to a fatal error, meaning that the verification process may continue. However, other (non-fatal) errors might have been reported through the previously mentioned VerifierErrors argument.

Aliased Type§

enum VerifierStepResult {
    Ok(()),
    Err(()),
}

Variants§

§1.0.0

Ok(())

Contains the success value

§1.0.0

Err(())

Contains the error value