Enum CallTarget 

pub enum CallTarget {
    Unresolved,
    Indirect {
        signature: Option<String>,
        reason: UnresolvedReason,
    },
    Direct(SymbolId),
    Dynamic {
        dispatch: SymbolId,
        candidates: Vec<DispatchCandidate>,
        resolution: DispatchResolution,
        evidence: DispatchEvidence,
        unresolved_reasons: BTreeSet<UnresolvedReason>,
    },
}

Variants

Unresolved

Indirect

A typed indirect call whose concrete callable value is not known. This is intentionally distinct from a syntax-resolution failure.

Fields

signature: Option<String>

reason: UnresolvedReason

Direct(SymbolId)

Dynamic

Fields

dispatch: SymbolId

candidates: Vec<DispatchCandidate>

resolution: DispatchResolution

evidence: DispatchEvidence

unresolved_reasons: BTreeSet<UnresolvedReason>

Implementations

impl CallTarget

pub fn dynamic( dispatch: SymbolId, candidates: Vec<DispatchCandidate>, evidence: DispatchEvidence, unresolved_reasons: BTreeSet<UnresolvedReason>, ) -> Self

Trait Implementations

impl Clone for CallTarget

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 CallTarget

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

Formats the value using the given formatter.

impl Default for CallTarget

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for CallTarget

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CallTarget

impl PartialEq for CallTarget

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CallTarget

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CallTarget