Enum syn::GenericArgument
source · #[non_exhaustive]pub enum GenericArgument {
Lifetime(Lifetime),
Type(Type),
Const(Expr),
AssocType(AssocType),
AssocConst(AssocConst),
Constraint(Constraint),
}
Expand description
An individual generic argument, like 'a
, T
, or Item = T
.
Variants (Non-exhaustive)§
This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
Lifetime(Lifetime)
A lifetime argument.
Type(Type)
A type argument.
Const(Expr)
A const expression. Must be inside of a block.
NOTE: Identity expressions are represented as Type arguments, as they are indistinguishable syntactically.
AssocType(AssocType)
A binding (equality constraint) on an associated type: the Item = u8
in Iterator<Item = u8>
.
AssocConst(AssocConst)
An equality constraint on an associated constant: the PANIC = false
in Trait<PANIC = false>
.
Constraint(Constraint)
An associated type bound: Iterator<Item: Display>
.
Trait Implementations§
source§impl Clone for GenericArgument
impl Clone for GenericArgument
source§impl Debug for GenericArgument
impl Debug for GenericArgument
source§impl Hash for GenericArgument
impl Hash for GenericArgument
source§impl Parse for GenericArgument
impl Parse for GenericArgument
fn parse(input: ParseStream<'_>) -> Result<Self>
source§impl PartialEq for GenericArgument
impl PartialEq for GenericArgument
source§impl ToTokens for GenericArgument
impl ToTokens for GenericArgument
source§fn to_tokens(&self, tokens: &mut TokenStream)
fn to_tokens(&self, tokens: &mut TokenStream)
source§fn to_token_stream(&self) -> TokenStream
fn to_token_stream(&self) -> TokenStream
source§fn into_token_stream(self) -> TokenStreamwhere
Self: Sized,
fn into_token_stream(self) -> TokenStreamwhere
Self: Sized,
impl Eq for GenericArgument
Auto Trait Implementations§
impl Freeze for GenericArgument
impl RefUnwindSafe for GenericArgument
impl !Send for GenericArgument
impl !Sync for GenericArgument
impl Unpin for GenericArgument
impl UnwindSafe for GenericArgument
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,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)source§impl<T> Spanned for Twhere
T: Spanned + ?Sized,
impl<T> Spanned for Twhere
T: Spanned + ?Sized,
source§fn span(&self) -> Span
fn span(&self) -> Span
Returns a
Span
covering the complete contents of this syntax tree
node, or Span::call_site()
if this node is empty.