Trait StructRecomposer

pub trait StructRecomposer {
    // Required methods
    fn deconstruct(
        &mut self,
        concrete_struct_id: ConcreteStructId,
        value: VariableId,
    ) -> OrderedHashMap<MemberId, VariableId>;
    fn deconstruct_by_types(
        &mut self,
        value: VariableId,
        types: impl Iterator<Item = TypeId>,
    ) -> Vec<VariableId>;
    fn reconstruct(
        &mut self,
        concrete_struct_id: ConcreteStructId,
        members: Vec<VariableId>,
    ) -> VariableId;
    fn var_ty(&self, var: VariableId) -> TypeId;
    fn db(&self) -> &dyn LoweringGroup;
}

A trait for deconstructing and constructing structs.

Required Methods

fn deconstruct( &mut self, concrete_struct_id: ConcreteStructId, value: VariableId, ) -> OrderedHashMap<MemberId, VariableId>

fn deconstruct_by_types( &mut self, value: VariableId, types: impl Iterator<Item = TypeId>, ) -> Vec<VariableId>

fn reconstruct( &mut self, concrete_struct_id: ConcreteStructId, members: Vec<VariableId>, ) -> VariableId

fn var_ty(&self, var: VariableId) -> TypeId

fn db(&self) -> &dyn LoweringGroup

Object Safety

This trait is not object safe.

Implementors