Type Definition cranelift_codegen::verifier::VerifierResult

type VerifierResult<T> = Result<T, VerifierErrors>;

Result of a verification operation.

Unlike VerifierStepResult<()> which may be Ok while still having reported errors, this type always returns Err if an error (fatal or not) was reported.

Typically, this error will be constructed by using verify! on a function that returns VerifierStepResult<T>.