Struct ezno_checker::types::functions::SynthesisedRestParameter

pub struct SynthesisedRestParameter {
    pub name: String,
    pub item_type: TypeId,
    pub position: SpanWithSource,
}

Note that the Type here is not array like

Fields

name: String

item_type: TypeId

This is the T, of Array

position: SpanWithSource

Trait Implementations

impl Clone for SynthesisedRestParameter

fn clone(&self) -> SynthesisedRestParameter

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SynthesisedRestParameter

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

Formats the value using the given formatter.