Enum LeanWorkerDeclarationVerificationStatus 

#[non_exhaustive]
pub enum LeanWorkerDeclarationVerificationStatus {
    Accepted,
    Rejected,
    NotFound,
    Ambiguous,
    Timeout,
    BudgetExceeded,
    Unsupported,
    NeedsBuild,
}

Verification policy result after diagnostics and declaration facts are collected.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Accepted

Rejected

NotFound

Ambiguous

Timeout

BudgetExceeded

Unsupported

NeedsBuild

The name did not resolve because the open environment is incomplete. The enclosing LeanWorkerDeclarationVerificationResult::MissingImports names the unbuilt modules.

Trait Implementations

impl Clone for LeanWorkerDeclarationVerificationStatus

fn clone(&self) -> LeanWorkerDeclarationVerificationStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for LeanWorkerDeclarationVerificationStatus

impl Debug for LeanWorkerDeclarationVerificationStatus

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LeanWorkerDeclarationVerificationStatus

fn deserialize<__D>( __deserializer: __D, ) -> Result<LeanWorkerDeclarationVerificationStatus, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for LeanWorkerDeclarationVerificationStatus

impl PartialEq for LeanWorkerDeclarationVerificationStatus

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for LeanWorkerDeclarationVerificationStatus

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for LeanWorkerDeclarationVerificationStatus