Struct MetaCallInfo

pub struct MetaCallInfo {
    pub callee: String,
    pub builtin: Option<BuiltinMetaCallKind>,
    pub arg_types: Vec<Option<MetaType>>,
    pub expected_arg_kinds: Option<Vec<MetaArgKind>>,
    pub result_type: Option<MetaType>,
}

Staged semantic facts for a meta call expression.

Fields

callee: String

Callee name resolved from the call site.

builtin: Option<BuiltinMetaCallKind>

Whether the callee is a known builtin meta function.

arg_types: Vec<Option<MetaType>>

Staged argument kinds at the call site.

expected_arg_kinds: Option<Vec<MetaArgKind>>

Expected argument kinds for known builtin calls.

result_type: Option<MetaType>

Best-known staged result type for the call.

Trait Implementations

impl Clone for MetaCallInfo

fn clone(&self) -> MetaCallInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MetaCallInfo

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

Formats the value using the given formatter.

impl PartialEq for MetaCallInfo

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for MetaCallInfo

impl StructuralPartialEq for MetaCallInfo