Enum rustc_hir::hir::AssocItemConstraintKind
source · pub enum AssocItemConstraintKind<'hir> {
Equality {
term: Term<'hir>,
},
Bound {
bounds: &'hir [GenericBound<'hir>],
},
}
Expand description
The kind of associated item constraint.
Variants§
Equality
An equality constraint for an associated item (e.g., AssocTy = Ty
in Trait<AssocTy = Ty>
).
Also known as an associated item binding (we bind an associated item to a term).
Furthermore, associated type equality constraints can also be referred to as associated type bindings. Similarly with associated const equality constraints and associated const bindings.
Bound
A bound on an associated type (e.g., AssocTy: Bound
in Trait<AssocTy: Bound>
).
Fields
bounds: &'hir [GenericBound<'hir>]
Implementations§
Trait Implementations§
source§impl<'hir> Clone for AssocItemConstraintKind<'hir>
impl<'hir> Clone for AssocItemConstraintKind<'hir>
source§fn clone(&self) -> AssocItemConstraintKind<'hir>
fn clone(&self) -> AssocItemConstraintKind<'hir>
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<'hir> Debug for AssocItemConstraintKind<'hir>
impl<'hir> Debug for AssocItemConstraintKind<'hir>
source§impl<'hir, __CTX> HashStable<__CTX> for AssocItemConstraintKind<'hir>where
__CTX: HashStableContext,
impl<'hir, __CTX> HashStable<__CTX> for AssocItemConstraintKind<'hir>where
__CTX: HashStableContext,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
impl<'hir> Copy for AssocItemConstraintKind<'hir>
Auto Trait Implementations§
impl<'hir> DynSend for AssocItemConstraintKind<'hir>
impl<'hir> DynSync for AssocItemConstraintKind<'hir>
impl<'hir> Freeze for AssocItemConstraintKind<'hir>
impl<'hir> RefUnwindSafe for AssocItemConstraintKind<'hir>
impl<'hir> Send for AssocItemConstraintKind<'hir>
impl<'hir> Sync for AssocItemConstraintKind<'hir>
impl<'hir> Unpin for AssocItemConstraintKind<'hir>
impl<'hir> UnwindSafe for AssocItemConstraintKind<'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
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> 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>
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>
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 moresource§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
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: 24 bytes
Size for each variant:
Equality
: 16 bytesBound
: 16 bytes