Type Alias CallEvidence 

pub type CallEvidence = EvidenceKind;

Unified evidence attached to one logical call relation. 一条逻辑调用关系携带的统一证据等级。

Aliased Type

pub enum CallEvidence {
    Live,
    Source,
    Mir,
    External,
    Unknown,
}

Variants

Live

Confirmed by a live CallTrace observation.

Source

Candidate found by source analysis without runtime confirmation.

Mir

Candidate inferred from MIR; it may not have executed.

External

Supplied by an external adapter without a local trace.

Unknown

A relation whose producer is not known.