Enum GenericArgumentHead 

pub enum GenericArgumentHead<'db> {
    Type(TypeHead<'db>),
    Impl(ImplHead<'db>),
    Const,
    NegImpl,
}

Head of a generic argument.

A non-param non-variable generic argument has a head, which represents the kind of the root node in its tree. This is used for caching queries for fast lookups when the generic argument is not completely inferred yet.

Variants

Type(TypeHead<'db>)

Impl(ImplHead<'db>)

Const

NegImpl

Trait Implementations

impl<'db> Clone for GenericArgumentHead<'db>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for GenericArgumentHead<'db>

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

Formats the value using the given formatter.

impl<'db> Hash for GenericArgumentHead<'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 GenericArgumentHead<'db>

fn eq(&self, other: &GenericArgumentHead<'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 GenericArgumentHead<'db>

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

Returns

impl<'db> Eq for GenericArgumentHead<'db>

impl<'db> StructuralPartialEq for GenericArgumentHead<'db>