Struct Substitution 

pub struct Substitution {
    pub any_element: Option<DataType>,
    pub any_array: Option<DataType>,
    pub any_nonarray: Option<DataType>,
    pub any_compatible: Option<DataType>,
}

The resolver’s output — a substitution map that every pseudo-type in a signature has been bound to. Used by expr_typing to compute the concrete return type from a signature that mentions the same pseudo-type in its return position.

Fields

any_element: Option<DataType>

Resolved type for AnyElement positions.

any_array: Option<DataType>

Resolved type for AnyArray positions.

any_nonarray: Option<DataType>

Resolved type for AnyNonArray positions.

any_compatible: Option<DataType>

Resolved type for AnyCompatible positions.

Implementations

impl Substitution

pub fn apply(&self, slot: ArgSlot) -> Option<DataType>

Apply the substitution to a signature slot, returning the concrete type. Returns None when the slot references a pseudo-type that hasn’t been resolved yet — the caller should treat this as a typer error.

Trait Implementations

impl Clone for Substitution

fn clone(&self) -> Substitution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Substitution

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

Formats the value using the given formatter.

impl Default for Substitution

fn default() -> Substitution

Returns the “default value” for a type.