[−][src]Trait chalk_ir::interner::TargetInterner
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
variable_kinds: I::InternedVariableKinds
) -> Self::InternedVariableKinds
fn transfer_canonical_var_kinds(
variable_kinds: I::InternedCanonicalVarKinds
) -> Self::InternedCanonicalVarKinds
variable_kinds: I::InternedCanonicalVarKinds
) -> Self::InternedCanonicalVarKinds
fn transfer_const(
&self,
const_evaluated: &I::InternedConcreteConst
) -> Self::InternedConcreteConst
&self,
const_evaluated: &I::InternedConcreteConst
) -> Self::InternedConcreteConst
Implementors
impl<I: Interner> TargetInterner<I> for I
[src]
fn transfer_def_id(def_id: I::DefId) -> Self::DefId
[src]
fn transfer_adt_id(adt_id: I::InternedAdtId) -> Self::InternedAdtId
[src]
fn transfer_variable_kinds(
variable_kinds: I::InternedVariableKinds
) -> Self::InternedVariableKinds
[src]
variable_kinds: I::InternedVariableKinds
) -> Self::InternedVariableKinds
fn transfer_canonical_var_kinds(
variable_kinds: I::InternedCanonicalVarKinds
) -> Self::InternedCanonicalVarKinds
[src]
variable_kinds: I::InternedCanonicalVarKinds
) -> Self::InternedCanonicalVarKinds
fn transfer_const(
&self,
const_evaluated: &I::InternedConcreteConst
) -> Self::InternedConcreteConst
[src]
&self,
const_evaluated: &I::InternedConcreteConst
) -> Self::InternedConcreteConst