pub struct AssocItem<'tcx> {
pub def_id: DefId,
pub name: Option<Symbol>,
pub kind: AssocKind,
pub container: AssocItemContainer<'tcx>,
pub has_value: bool,
}Expand description
Reflects [ty::AssocItem]
Fields§
§def_id: DefId§name: Option<Symbol>This is None for RPTITs.
kind: AssocKind§container: AssocItemContainer<'tcx>§has_value: boolWhether this item has a value (e.g. this is false for trait methods without default
implementations).
Implementations§
Source§impl<'tcx> AssocItem<'tcx>
impl<'tcx> AssocItem<'tcx>
pub fn sfrom<S: BaseState<'tcx>>(s: &S, item: &AssocItem) -> AssocItem<'tcx>
Sourcepub fn sfrom_instantiated<S: BaseState<'tcx>>(
s: &S,
item: &AssocItem,
item_args: Option<GenericArgsRef<'tcx>>,
) -> AssocItem<'tcx>
pub fn sfrom_instantiated<S: BaseState<'tcx>>( s: &S, item: &AssocItem, item_args: Option<GenericArgsRef<'tcx>>, ) -> AssocItem<'tcx>
Translate an AssocItem and optionally instantiate it with the provided arguments.
Sourcepub fn implemented_trait_item_id(&self) -> &DefId
pub fn implemented_trait_item_id(&self) -> &DefId
The DefId of the item being implemented.
Trait Implementations§
impl<'tcx> Eq for AssocItem<'tcx>
impl<'tcx> StructuralPartialEq for AssocItem<'tcx>
Auto Trait Implementations§
impl<'tcx> DynSend for AssocItem<'tcx>
impl<'tcx> DynSync for AssocItem<'tcx>
impl<'tcx> Freeze for AssocItem<'tcx>
impl<'tcx> RefUnwindSafe for AssocItem<'tcx>
impl<'tcx> Send for AssocItem<'tcx>
impl<'tcx> Sync for AssocItem<'tcx>
impl<'tcx> Unpin for AssocItem<'tcx>
impl<'tcx> UnsafeUnpin for AssocItem<'tcx>
impl<'tcx> UnwindSafe for AssocItem<'tcx>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> Dedup for T
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.impl<T> HashConsable for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more