Struct TraitImpls 

pub struct TraitImpls<'db> {
    map: HashMap<TraitId, OneTraitImpls<'db>, FxBuildHasher>,
}

Fields

map: HashMap<TraitId, OneTraitImpls<'db>, FxBuildHasher>

Implementations

impl<'db> TraitImpls<'db>

pub fn for_crate( db: &'db (dyn HirDatabase + 'static), krate: Crate, ) -> &'db Arc<TraitImpls<'db>>

pub fn for_block( db: &'db (dyn HirDatabase + 'static), block: BlockIdLt<'db>, ) -> <Option<Box<TraitImpls<'db>>> as SalsaAsDeref>::AsDeref<'db>

pub fn for_crate_and_deps( db: &'db (dyn HirDatabase + 'static), krate: Crate, ) -> &'db <Box<[Arc<TraitImpls<'db>>]> as Deref>::Target

impl<'db> TraitImpls<'db>

pub fn blanket_impls(&self, for_trait: TraitId) -> &[ImplId]

pub fn has_impls_for_trait_and_self_ty( &self, trait_: TraitId, self_ty: &SimplifiedType<SolverDefId<'db>>, ) -> bool

Queries whether self_ty has potentially applicable implementations of trait_.

pub fn for_trait_and_self_ty( &'db self, trait_: TraitId, self_ty: &SimplifiedType<SolverDefId<'db>>, ) -> (&'db [ImplId], &'db [BuiltinDeriveImplId])

pub fn for_trait( &self, trait_: TraitId, callback: impl FnMut(Either<&[ImplId], &[BuiltinDeriveImplId]>), )

pub fn for_self_ty( &self, self_ty: &SimplifiedType<SolverDefId<'db>>, callback: impl FnMut(Either<&[ImplId], &[BuiltinDeriveImplId]>), )

pub fn for_each_crate_and_block( db: &'db (dyn HirDatabase + 'static), krate: Crate, block: Option<BlockIdLt<'db>>, for_each: &mut dyn FnMut(&TraitImpls<'db>), )

pub fn for_each_crate_and_block_trait_and_type( db: &'db (dyn HirDatabase + 'static), krate: Crate, type_block: Option<BlockIdLt<'db>>, trait_block: Option<BlockIdLt<'db>>, for_each: &mut dyn FnMut(&TraitImpls<'db>), )

Like Self::for_each_crate_and_block(), but takes in account two blocks, one for a trait and one for a self type.

Trait Implementations

impl<'db> Debug for TraitImpls<'db>

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

Formats the value using the given formatter.

impl<'db> PartialEq for TraitImpls<'db>

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

unsafe fn maybe_update( old_pointer_: *mut TraitImpls<'db>, new_value_: TraitImpls<'db>, ) -> bool

Returns

impl<'db> StructuralPartialEq for TraitImpls<'db>