Enum cairo_lang_semantic::items::imp::GenericsHeadFilter

pub enum GenericsHeadFilter {
    NoFilter,
    FirstGenericFilter(GenericArgumentHead),
    NoGenerics,
}

A lookup filter on generic arguments that is not based on current inference state. This is used for caching queries.

Variants

NoFilter

No filter is applied. When nothing is known about the generics, this will lead to a wider search.

FirstGenericFilter(GenericArgumentHead)

Generics exists and the first generic parameter has a filter. This is usually enough to considerably reduce the number of searched items.

NoGenerics

Generics must not exist.

Trait Implementations

impl Clone for GenericsHeadFilter

fn clone(&self) -> GenericsHeadFilter

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GenericsHeadFilter

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

Formats the value using the given formatter.

impl Hash for GenericsHeadFilter

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 PartialEq for GenericsHeadFilter

fn eq(&self, other: &GenericsHeadFilter) -> bool

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

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

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

impl Eq for GenericsHeadFilter

impl StructuralPartialEq for GenericsHeadFilter