Struct InferencePack 

pub struct InferencePack {
    pub tp: TypePackId,
    pub refinements: Vec<RefinementId>,
}

Fields

tp: TypePackId

refinements: Vec<RefinementId>

Implementations

impl InferencePack

pub fn inference_pack() -> Self

pub fn inference_pack_type_pack_id_vector_refinement_id( tp: TypePackId, refinements: Vec<RefinementId>, ) -> Self

Trait Implementations

impl Clone for InferencePack

fn clone(&self) -> InferencePack

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferencePack

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

Formats the value using the given formatter.