Enum TypeHead 

pub enum TypeHead<'db> {
    Concrete(GenericTypeId<'db>),
    Snapshot(Box<TypeHead<'db>>),
    Generic(GenericParamId<'db>),
    Tuple,
    Coupon,
    FixedSizeArray,
}

Head of a type.

A type that is not one of {generic param, type variable, impl type} has a head, which represents the kind of the root node in its type tree. This is used for caching queries for fast lookups when the type is not completely inferred yet.

Variants

Concrete(GenericTypeId<'db>)

Snapshot(Box<TypeHead<'db>>)

Generic(GenericParamId<'db>)

Tuple

Coupon

FixedSizeArray

Trait Implementations

impl<'db> Clone for TypeHead<'db>

fn clone(&self) -> TypeHead<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for TypeHead<'db>

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

Formats the value using the given formatter.

impl<'db> Hash for TypeHead<'db>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'db> PartialEq for TypeHead<'db>

fn eq(&self, other: &TypeHead<'db>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'db> Update for TypeHead<'db>

unsafe fn maybe_update(old_pointer_: *mut Self, new_value_: Self) -> bool

Returns

impl<'db> Eq for TypeHead<'db>

impl<'db> StructuralPartialEq for TypeHead<'db>