Struct rustc_infer::infer::type_variable::TyVidEqKey

pub(crate) struct TyVidEqKey<'tcx> {
    vid: TyVid,
    phantom: PhantomData<TypeVariableValue<'tcx>>,
}

These structs (a newtyped TyVid) are used as the unification key for the eq_relations; they carry a TypeVariableValue along with them.

Fields

vid: TyVid

phantom: PhantomData<TypeVariableValue<'tcx>>

Trait Implementations

impl<'tcx> Clone for TyVidEqKey<'tcx>

fn clone(&self) -> TyVidEqKey<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for TyVidEqKey<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> From<TyVid> for TyVidEqKey<'tcx>

fn from(vid: TyVid) -> Self

Performs the conversion.

impl<'tcx> PartialEq<TyVidEqKey<'tcx>> for TyVidEqKey<'tcx>

fn eq(&self, other: &TyVidEqKey<'tcx>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &TyVidEqKey<'tcx>) -> bool

This method tests for !=.

impl<'tcx> UnifyKey for TyVidEqKey<'tcx>

type Value = TypeVariableValue<'tcx>

fn index(&self) -> u32

fn from_index(i: u32) -> Self

fn tag() -> &'static str

fn order_roots(
    a: Self,
    a_value: &Self::Value,
    b: Self,
    b_value: &Self::Value
) -> Option<(Self, Self)>

If true, then self should be preferred as root to other. Note that we assume a consistent partial ordering, so returning true implies that other.prefer_as_root_to(self) would return false. If there is no ordering between two keys (i.e., a.prefer_as_root_to(b) and b.prefer_as_root_to(a) both return false) then the rank will be used to determine the root in an optimal way.

impl<'tcx> Copy for TyVidEqKey<'tcx>

impl<'tcx> Eq for TyVidEqKey<'tcx>

impl<'tcx> StructuralEq for TyVidEqKey<'tcx>

impl<'tcx> StructuralPartialEq for TyVidEqKey<'tcx>