Enum GenericArg

pub enum GenericArg<'hir> {
    Lifetime(&'hir Lifetime),
    Type(&'hir Ty<'hir, AmbigArg>),
    Const(&'hir ConstArg<'hir, AmbigArg>),
    Infer(InferArg),
}

Variants

Lifetime(&'hir Lifetime)

Type(&'hir Ty<'hir, AmbigArg>)

Const(&'hir ConstArg<'hir, AmbigArg>)

Infer(InferArg)

Inference variables in GenericArg are always represnted by GenericArg::Infer instead of the Infer variants on TyKind and ConstArgKind as it is not clear until hir ty lowering whether a _ argument is a type or const argument.

However, some builtin types’ generic arguments are represented by TyKind without a GenericArg, instead directly storing a Ty or ConstArg. In such cases they are represented by the Infer variants on TyKind and ConstArgKind as it is not ambiguous whether the argument is a type or const.

Implementations

impl GenericArg<'_>

pub fn span(&self) -> Span

pub fn hir_id(&self) -> HirId

pub fn descr(&self) -> &'static str

pub fn to_ord(&self) -> ParamKindOrd

pub fn is_ty_or_const(&self) -> bool

Trait Implementations

impl<'hir> Clone for GenericArg<'hir>

fn clone(&self) -> GenericArg<'hir>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'hir> Debug for GenericArg<'hir>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'hir, __CTX> HashStable<__CTX> for GenericArg<'hir>

where __CTX: HashStableContext,

fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)

impl<'hir> Copy for GenericArg<'hir>

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: 16 bytes

Size for each variant:

• Lifetime: 16 bytes
• Type: 16 bytes
• Const: 16 bytes
• Infer: 16 bytes