Enum rustc_ast::ast::AssocItemConstraintKind
source · pub enum AssocItemConstraintKind {
Equality {
term: Term,
},
Bound {
bounds: GenericBounds,
},
}
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: GenericBounds
Trait Implementations§
source§impl Clone for AssocItemConstraintKind
impl Clone for AssocItemConstraintKind
source§fn clone(&self) -> AssocItemConstraintKind
fn clone(&self) -> AssocItemConstraintKind
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for AssocItemConstraintKind
impl Debug for AssocItemConstraintKind
source§impl<__D: SpanDecoder> Decodable<__D> for AssocItemConstraintKind
impl<__D: SpanDecoder> Decodable<__D> for AssocItemConstraintKind
source§impl<__E: SpanEncoder> Encodable<__E> for AssocItemConstraintKind
impl<__E: SpanEncoder> Encodable<__E> for AssocItemConstraintKind
Auto Trait Implementations§
impl Freeze for AssocItemConstraintKind
impl !RefUnwindSafe for AssocItemConstraintKind
impl !Send for AssocItemConstraintKind
impl !Sync for AssocItemConstraintKind
impl Unpin for AssocItemConstraintKind
impl !UnwindSafe for AssocItemConstraintKind
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
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> 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
: 24 bytesBound
: 24 bytes