Enum LookupOutcome 

pub enum LookupOutcome {
    NoFact,
    Confirmed(SemanticTarget),
    Other(Uncertainty),
    ConfirmedMany(Vec<SemanticTarget>),
}

What a same-context lookup at one reference’s (file, name_line, member) key found.

Variants

NoFact

No admitted occurrence site at this key – the ordinary absent case, never treated as a negative fact.

Confirmed(SemanticTarget)

Exactly one same-context confirmed target, ready to override the ladder.

Other(Uncertainty)

A fact exists but is not confirmed-and-translatable; every other consumer-visible state.

ConfirmedMany(Vec<SemanticTarget>)

More than one distinct confirmed target survived (no caller-side arity narrowed the set to one, or there was none to narrow with in the first place). Never itself an ambiguity: it is the caller’s own choice whether “more than one confirmed target, nothing left to pick between them” projects every one of them or degrades to Other(Uncertainty::Ambiguous) – see discovered.rs (which projects same-type overloads, since it carries no caller argument count to disambiguate with at all) and precedence.rs (which degrades, since an extractor-emitted reference already has its own single-target slot to fill and a real caller-side tie there is genuine ambiguity, not a projection opportunity).

Trait Implementations

impl Clone for LookupOutcome

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LookupOutcome

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

Formats the value using the given formatter.

impl Eq for LookupOutcome

impl PartialEq for LookupOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LookupOutcome