Enum CheckError 

pub enum CheckError {
    UnresolvedRef {
        name: String,
        location: Option<String>,
        suggestions: Vec<String>,
    },
    DeriveFailed {
        target: String,
        trait_name: String,
        missing_impls: Vec<String>,
    },
    TypeNotFound {
        type_name: String,
    },
    TraitNotImplemented {
        type_name: String,
        trait_name: String,
    },
    SimultaneousMutBorrow {
        variable: String,
        first_borrow_line: u32,
        second_borrow_line: u32,
    },
    BorrowConflict {
        variable: String,
        existing_kind: String,
        existing_line: u32,
        new_kind: String,
        new_line: u32,
    },
    UseAfterMove {
        variable: String,
        moved_at: u32,
        used_at: u32,
    },
    DanglingReference {
        reference: String,
        source: String,
        dropped_at: u32,
        used_at: u32,
    },
    CannotMutateThroughSharedRef {
        variable: String,
        at_line: u32,
    },
    FieldNotFound {
        type_name: String,
        field_name: String,
        available_fields: Vec<String>,
    },
    MethodNotFound {
        type_name: String,
        method_name: String,
        available_methods: Vec<String>,
    },
    EnumVariantNotFound {
        enum_name: String,
        variant_name: String,
        available_variants: Vec<String>,
    },
    MissingRequiredField {
        struct_name: String,
        missing_fields: Vec<String>,
    },
    ArgumentCountMismatch {
        function_name: String,
        expected: usize,
        actual: usize,
    },
    AmbiguousTarget {
        name: String,
        candidates: Vec<String>,
    },
    TypeImpact {
        description: String,
        details: String,
    },
    ReferenceIntegrity {
        description: String,
        details: String,
    },
    Other {
        message: String,
    },
}

Error from a light check.

Variants

UnresolvedRef

Unresolved symbol reference.

Fields

name: String

The symbol name that couldn’t be resolved.

location: Option<String>

Location context (if available).

suggestions: Vec<String>

Suggested alternatives (if any).

DeriveFailed

Derive macro cannot be applied.

Fields

target: String

Target type name.

trait_name: String

Trait that cannot be derived.

missing_impls: Vec<String>

Field types missing the required trait implementation.

TypeNotFound

Type not found in registry.

Fields

type_name: String

The type name that wasn’t found.

TraitNotImplemented

Trait not implemented for type.

Fields

type_name: String

Type that doesn’t implement the trait.

trait_name: String

Trait that isn’t implemented.

SimultaneousMutBorrow

Simultaneous mutable borrows of the same variable.

Fields

variable: String

Variable name.

first_borrow_line: u32

Line of the first mutable borrow.

second_borrow_line: u32

Line of the second mutable borrow.

BorrowConflict

Conflict between mutable and shared borrows.

Fields

variable: String

Variable name.

existing_kind: String

Existing borrow kind (“mutable” or “shared”).

existing_line: u32

Line of the existing borrow.

new_kind: String

New borrow kind.

new_line: u32

Line of the new borrow.

UseAfterMove

Use of a variable after it has been moved.

Fields

variable: String

Variable name.

moved_at: u32

Line where the move occurred.

used_at: u32

Line where the invalid use occurred.

DanglingReference

Dangling reference (reference to dropped value).

Fields

reference: String

Reference variable name.

source: String

Source variable name (the dropped value).

dropped_at: u32

Line where the source was dropped.

used_at: u32

Line where the reference was used.

CannotMutateThroughSharedRef

Cannot mutate through a shared reference.

Fields

variable: String

Variable name.

at_line: u32

Line where mutation was attempted.

FieldNotFound

Field not found on a type.

Fields

type_name: String

Type that was accessed.

field_name: String

Field name that wasn’t found.

available_fields: Vec<String>

Available fields (for suggestions).

MethodNotFound

Method not found on a type.

Fields

type_name: String

Type that was accessed.

method_name: String

Method name that wasn’t found.

available_methods: Vec<String>

Available methods (for suggestions).

EnumVariantNotFound

Enum variant not found.

Fields

enum_name: String

Enum type name.

variant_name: String

Variant name that wasn’t found.

available_variants: Vec<String>

Available variants (for suggestions).

MissingRequiredField

Missing required field in struct literal.

Fields

struct_name: String

Struct type name.

missing_fields: Vec<String>

Missing field names.

ArgumentCountMismatch

Function argument count mismatch.

Fields

function_name: String

Function name.

expected: usize

Expected argument count.

actual: usize

Actual argument count.

AmbiguousTarget

Ambiguous target - multiple symbols match the given name.

Fields

name: String

The name that matched multiple symbols.

candidates: Vec<String>

The matching symbol paths.

TypeImpact

Type change has impact on other parts of the codebase.

Fields

description: String

Description of the impact.

details: String

Details about the affected areas.

ReferenceIntegrity

Reference integrity issue (dangling references, missing fields, etc.).

Fields

description: String

Description of the issue.

details: String

Details about the affected areas.

Other

Generic check failure.

Fields

message: String

Error message.

Implementations

impl CheckError

pub fn unresolved(name: impl Into<String>) -> Self

Create an unresolved reference error.

pub fn unresolved_at( name: impl Into<String>, location: impl Into<String>, ) -> Self

Create an unresolved reference error with location.

pub fn type_not_found(type_name: impl Into<String>) -> Self

Create a type not found error.

pub fn derive_failed( target: impl Into<String>, trait_name: impl Into<String>, missing_impls: Vec<String>, ) -> Self

Create a derive failed error.

pub fn trait_not_impl( type_name: impl Into<String>, trait_name: impl Into<String>, ) -> Self

Create a trait not implemented error.

pub fn simultaneous_mut_borrow( variable: impl Into<String>, first_borrow_line: u32, second_borrow_line: u32, ) -> Self

Create a simultaneous mutable borrow error.

pub fn borrow_conflict( variable: impl Into<String>, existing_kind: impl Into<String>, existing_line: u32, new_kind: impl Into<String>, new_line: u32, ) -> Self

Create a borrow conflict error.

pub fn use_after_move( variable: impl Into<String>, moved_at: u32, used_at: u32, ) -> Self

Create a use after move error.

pub fn dangling_reference( reference: impl Into<String>, source: impl Into<String>, dropped_at: u32, used_at: u32, ) -> Self

Create a dangling reference error.

pub fn cannot_mutate_shared(variable: impl Into<String>, at_line: u32) -> Self

Create a cannot mutate through shared ref error.

pub fn field_not_found( type_name: impl Into<String>, field_name: impl Into<String>, available_fields: Vec<String>, ) -> Self

Create a field not found error.

pub fn method_not_found( type_name: impl Into<String>, method_name: impl Into<String>, available_methods: Vec<String>, ) -> Self

Create a method not found error.

pub fn variant_not_found( enum_name: impl Into<String>, variant_name: impl Into<String>, available_variants: Vec<String>, ) -> Self

Create an enum variant not found error.

pub fn missing_fields( struct_name: impl Into<String>, missing_fields: Vec<String>, ) -> Self

Create a missing required field error.

pub fn arg_count_mismatch( function_name: impl Into<String>, expected: usize, actual: usize, ) -> Self

Create an argument count mismatch error.

pub fn ambiguous_target( name: impl Into<String>, candidates: Vec<String>, ) -> Self

Create an ambiguous target error.

pub fn type_impact( description: impl Into<String>, details: impl Into<String>, ) -> Self

Create a type impact error.

pub fn reference_integrity( description: impl Into<String>, details: impl Into<String>, ) -> Self

Create a reference integrity error.

Trait Implementations

impl Clone for CheckError

fn clone(&self) -> CheckError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckError

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

Formats the value using the given formatter.

impl Display for CheckError

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

Formats the value using the given formatter.

impl Error for CheckError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.