Enum rustc_hir::hir::TypeBindingKind
source · pub enum TypeBindingKind<'hir> {
Constraint {
bounds: &'hir [GenericBound<'hir>],
},
Equality {
term: Term<'hir>,
},
}
Variants§
Constraint
Fields
§
bounds: &'hir [GenericBound<'hir>]
E.g., Foo<Bar: Send>
.
Equality
E.g., Foo<Bar = ()>
, Foo<Bar = ()>
Trait Implementations§
source§impl<'hir> Clone for TypeBindingKind<'hir>
impl<'hir> Clone for TypeBindingKind<'hir>
source§fn clone(&self) -> TypeBindingKind<'hir>
fn clone(&self) -> TypeBindingKind<'hir>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<'hir> Debug for TypeBindingKind<'hir>
impl<'hir> Debug for TypeBindingKind<'hir>
source§impl<'hir, __CTX> HashStable<__CTX> for TypeBindingKind<'hir>where
__CTX: HashStableContext,
impl<'hir, __CTX> HashStable<__CTX> for TypeBindingKind<'hir>where
__CTX: HashStableContext,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
impl<'hir> Copy for TypeBindingKind<'hir>
Auto Trait Implementations§
impl<'hir> DynSend for TypeBindingKind<'hir>
impl<'hir> DynSync for TypeBindingKind<'hir>
impl<'hir> Freeze for TypeBindingKind<'hir>
impl<'hir> RefUnwindSafe for TypeBindingKind<'hir>
impl<'hir> Send for TypeBindingKind<'hir>
impl<'hir> Sync for TypeBindingKind<'hir>
impl<'hir> Unpin for TypeBindingKind<'hir>
impl<'hir> UnwindSafe for TypeBindingKind<'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
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>
§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:
Constraint
: 24 bytesEquality
: 24 bytes