Struct rustc_middle::ty::assoc::AssocItems

pub struct AssocItems<'tcx> {
    pub(super) items: SortedIndexMultiMap<u32, Symbol, &'tcx AssocItem>,
}

A list of ty::AssocItems in definition order that allows for efficient lookup by name.

When doing lookup by name, we try to postpone hygienic comparison for as long as possible since it is relatively expensive. Instead, items are indexed by Symbol and hygienic comparison is done only on items with the same name.

Fields

items: SortedIndexMultiMap<u32, Symbol, &'tcx AssocItem>

Implementations

impl<'tcx> AssocItems<'tcx>

pub fn new(
    items_in_def_order: impl IntoIterator<Item = &'tcx AssocItem>
) -> Self

Constructs an AssociatedItems map from a series of ty::AssocItems in definition order.

pub fn in_definition_order(&self) -> impl '_ + Iterator<Item = &AssocItem>

Returns a slice of associated items in the order they were defined.

New code should avoid relying on definition order. If you need a particular associated item for a known trait, make that trait a lang item instead of indexing this array.

pub fn len(&self) -> usize

pub fn filter_by_name_unhygienic(
    &self,
    name: Symbol
) -> impl '_ + Iterator<Item = &AssocItem>

Returns an iterator over all associated items with the given name, ignoring hygiene.

pub fn filter_by_name<'a>(
    &'a self,
    tcx: TyCtxt<'a>,
    ident: Ident,
    parent_def_id: DefId
) -> impl 'a + Iterator<Item = &'a AssocItem>

Returns an iterator over all associated items with the given name.

Multiple items may have the same name if they are in different Namespaces. For example, an associated type can have the same name as a method. Use one of the find_by_name_and_* methods below if you know which item you are looking for.

pub fn find_by_name_and_kind(
    &self,
    tcx: TyCtxt<'_>,
    ident: Ident,
    kind: AssocKind,
    parent_def_id: DefId
) -> Option<&AssocItem>

Returns the associated item with the given name and AssocKind, if one exists.

pub fn find_by_name_and_namespace(
    &self,
    tcx: TyCtxt<'_>,
    ident: Ident,
    ns: Namespace,
    parent_def_id: DefId
) -> Option<&AssocItem>

Returns the associated item with the given name in the given Namespace, if one exists.

Trait Implementations

impl<'tcx> Clone for AssocItems<'tcx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for AssocItems<'tcx>

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

Formats the value using the given formatter.

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for AssocItems<'tcx>

fn hash_stable(
    &self,
    __hcx: &mut StableHashingContext<'__ctx>,
    __hasher: &mut StableHasher
)

impl<'tcx> PartialEq<AssocItems<'tcx>> for AssocItems<'tcx>

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

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

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

This method tests for !=.

impl<'tcx> StructuralPartialEq for AssocItems<'tcx>