Struct rustc_infer::infer::type_variable::TyVidEqKey
source · pub(crate) struct TyVidEqKey<'tcx> {
vid: TyVid,
phantom: PhantomData<TypeVariableValue<'tcx>>,
}
Expand description
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
sourceimpl<'tcx> Clone for TyVidEqKey<'tcx>
impl<'tcx> Clone for TyVidEqKey<'tcx>
sourcefn clone(&self) -> TyVidEqKey<'tcx>
fn clone(&self) -> TyVidEqKey<'tcx>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl<'tcx> Debug for TyVidEqKey<'tcx>
impl<'tcx> Debug for TyVidEqKey<'tcx>
sourceimpl<'tcx> From<TyVid> for TyVidEqKey<'tcx>
impl<'tcx> From<TyVid> for TyVidEqKey<'tcx>
sourceimpl<'tcx> PartialEq<TyVidEqKey<'tcx>> for TyVidEqKey<'tcx>
impl<'tcx> PartialEq<TyVidEqKey<'tcx>> for TyVidEqKey<'tcx>
sourcefn eq(&self, other: &TyVidEqKey<'tcx>) -> bool
fn eq(&self, other: &TyVidEqKey<'tcx>) -> bool
sourceimpl<'tcx> UnifyKey for TyVidEqKey<'tcx>
impl<'tcx> UnifyKey for TyVidEqKey<'tcx>
type Value = TypeVariableValue<'tcx>
fn index(&self) -> u32
fn from_index(i: u32) -> Self
fn tag() -> &'static str
sourcefn order_roots(
a: Self,
a_value: &Self::Value,
b: Self,
b_value: &Self::Value
) -> Option<(Self, Self)>
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. Read moreimpl<'tcx> Copy for TyVidEqKey<'tcx>
impl<'tcx> Eq for TyVidEqKey<'tcx>
impl<'tcx> StructuralEq for TyVidEqKey<'tcx>
impl<'tcx> StructuralPartialEq for TyVidEqKey<'tcx>
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for TyVidEqKey<'tcx>
impl<'tcx> Send for TyVidEqKey<'tcx>
impl<'tcx> Sync for TyVidEqKey<'tcx>
impl<'tcx> Unpin for TyVidEqKey<'tcx>
impl<'tcx> !UnwindSafe for TyVidEqKey<'tcx>
Blanket Implementations
sourceimpl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = T>
) -> &'a mut [T]ⓘNotable traits for &[u8]impl Read for &[u8]impl Write for &mut [u8]
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 4 bytes