Trait chalk_ir::interner::TargetInterner

pub trait TargetInterner<I: Interner>: Interner {
    fn transfer_def_id(def_id: I::DefId) -> Self::DefId;
    fn transfer_adt_id(adt_id: I::InternedAdtId) -> Self::InternedAdtId;
    fn transfer_variable_kinds(
        variable_kinds: I::InternedVariableKinds
    ) -> Self::InternedVariableKinds;
    fn transfer_canonical_var_kinds(
        variable_kinds: I::InternedCanonicalVarKinds
    ) -> Self::InternedCanonicalVarKinds;
    fn transfer_const(
        &self, 
        const_evaluated: &I::InternedConcreteConst
    ) -> Self::InternedConcreteConst;
}

Required methods

fn transfer_def_id(def_id: I::DefId) -> Self::DefId

fn transfer_adt_id(adt_id: I::InternedAdtId) -> Self::InternedAdtId

fn transfer_variable_kinds(
    variable_kinds: I::InternedVariableKinds
) -> Self::InternedVariableKinds

fn transfer_canonical_var_kinds(
    variable_kinds: I::InternedCanonicalVarKinds
) -> Self::InternedCanonicalVarKinds

fn transfer_const(
    &self,
    const_evaluated: &I::InternedConcreteConst
) -> Self::InternedConcreteConst

Loading content...

Implementors

impl<I: Interner> TargetInterner<I> for I

fn transfer_def_id(def_id: I::DefId) -> Self::DefId

fn transfer_adt_id(adt_id: I::InternedAdtId) -> Self::InternedAdtId

fn transfer_variable_kinds(
    variable_kinds: I::InternedVariableKinds
) -> Self::InternedVariableKinds

fn transfer_canonical_var_kinds(
    variable_kinds: I::InternedCanonicalVarKinds
) -> Self::InternedCanonicalVarKinds

fn transfer_const(
    &self,
    const_evaluated: &I::InternedConcreteConst
) -> Self::InternedConcreteConst

Loading content...