pub struct TraitItem<'hir> {
pub ident: Ident,
pub owner_id: OwnerId,
pub generics: &'hir Generics<'hir>,
pub kind: TraitItemKind<'hir>,
pub span: Span,
pub defaultness: Defaultness,
}
Expand description
Represents an item declaration within a trait declaration, possibly including a default implementation. A trait item is either required (meaning it doesn’t have an implementation, just a signature) or provided (meaning it has a default implementation).
Fields§
§ident: Ident
§owner_id: OwnerId
§generics: &'hir Generics<'hir>
§kind: TraitItemKind<'hir>
§span: Span
§defaultness: Defaultness
Implementations§
source§impl<'hir> TraitItem<'hir>
impl<'hir> TraitItem<'hir>
pub fn hir_id(&self) -> HirId
pub fn trait_item_id(&self) -> TraitItemId
sourcepub fn expect_const(&self) -> (&'hir Ty<'hir>, Option<BodyId>)
pub fn expect_const(&self) -> (&'hir Ty<'hir>, Option<BodyId>)
Expect an TraitItemKind::Const
or panic.
sourcepub fn expect_fn(&self) -> (&FnSig<'hir>, &TraitFn<'hir>)
pub fn expect_fn(&self) -> (&FnSig<'hir>, &TraitFn<'hir>)
Expect an TraitItemKind::Fn
or panic.
sourcepub fn expect_type(&self) -> (GenericBounds<'hir>, Option<&'hir Ty<'hir>>)
pub fn expect_type(&self) -> (GenericBounds<'hir>, Option<&'hir Ty<'hir>>)
Expect an TraitItemKind::Type
or panic.
fn expect_failed(&self, expected: &'static str) -> !
Trait Implementations§
source§impl<'hir, __CTX> HashStable<__CTX> for TraitItem<'hir>where
__CTX: HashStableContext,
impl<'hir, __CTX> HashStable<__CTX> for TraitItem<'hir>where __CTX: HashStableContext,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
impl<'hir> Copy for TraitItem<'hir>
Auto Trait Implementations§
impl<'hir> RefUnwindSafe for TraitItem<'hir>
impl<'hir> !Send for TraitItem<'hir>
impl<'hir> !Sync for TraitItem<'hir>
impl<'hir> Unpin for TraitItem<'hir>
impl<'hir> UnwindSafe for TraitItem<'hir>
Blanket Implementations§
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]
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
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 88 bytes