Enum ReferenceIntegrityIssue 

pub enum ReferenceIntegrityIssue {
    DanglingReference {
        referrer: SymbolId,
        deleted_symbol: SymbolId,
        reference_count: usize,
    },
    MissingFieldInLiteral {
        location: SymbolId,
        struct_type: SymbolId,
        missing_field: String,
    },
    RemovedFieldInLiteral {
        location: SymbolId,
        struct_type: SymbolId,
        removed_field: String,
    },
    IncompatibleMethodCall {
        caller: SymbolId,
        method: SymbolId,
        expected_args: usize,
        actual_args: usize,
    },
    RenameWouldBreakReferences {
        symbol: SymbolId,
        referrers: Vec<SymbolId>,
    },
    UnusedAfterMutation {
        symbol: SymbolId,
    },
}

Specific issue found during reference integrity analysis.

Variants

DanglingReference

Reference to a symbol that will be deleted.

Fields

referrer: SymbolId

The symbol with the dangling reference.

deleted_symbol: SymbolId

The deleted symbol being referenced.

reference_count: usize

Number of references found.

MissingFieldInLiteral

Struct literal missing required fields after field addition.

Fields

location: SymbolId

Location of the struct literal (containing function/method).

struct_type: SymbolId

The struct type.

missing_field: String

The added field that’s missing.

RemovedFieldInLiteral

Struct literal has field that will be deleted.

Fields

location: SymbolId

Location of the struct literal (containing function/method).

struct_type: SymbolId

The struct type.

removed_field: String

The field being removed.

IncompatibleMethodCall

Method call with incompatible arguments after signature change.

Fields

caller: SymbolId

The caller with incompatible call.

method: SymbolId

The method being called.

expected_args: usize

Expected argument count.

actual_args: usize

Actual argument count at call site.

RenameWouldBreakReferences

Symbol rename would break references.

Fields

symbol: SymbolId

The symbol being renamed.

referrers: Vec<SymbolId>

Referrers that would break.

UnusedAfterMutation

Unused symbol after mutation (warning).

Fields

symbol: SymbolId

The symbol that became unused.

Implementations

impl ReferenceIntegrityIssue

pub fn is_error(&self) -> bool

Check if this issue is an error (vs warning).

Trait Implementations

impl Clone for ReferenceIntegrityIssue

fn clone(&self) -> ReferenceIntegrityIssue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReferenceIntegrityIssue

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

Formats the value using the given formatter.