Enum ConstArgKind

#[repr(C, u8)]
pub enum ConstArgKind<'hir, Unambig = ()> {
    Path(QPath<'hir>),
    Anon(&'hir AnonConst),
    Infer(Span, Unambig),
}

See ConstArg.

Variants

Path(QPath<'hir>)

Note: Currently this is only used for bare const params (N where fn foo<const N: usize>(...)), not paths to any const (N where const N: usize = ...).

However, in the future, we’ll be using it for all of those.

Anon(&'hir AnonConst)

Infer(Span, Unambig)

This variant is not always used to represent inference consts, sometimes GenericArg::Infer is used instead.

Trait Implementations

impl<'hir, Unambig: Clone> Clone for ConstArgKind<'hir, Unambig>

fn clone(&self) -> ConstArgKind<'hir, Unambig>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'hir, Unambig: Debug> Debug for ConstArgKind<'hir, Unambig>

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

Formats the value using the given formatter.

impl<'hir, Unambig, __CTX> HashStable<__CTX> for ConstArgKind<'hir, Unambig>

where __CTX: HashStableContext, Unambig: HashStable<__CTX>,

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

impl<'hir, Unambig: Copy> Copy for ConstArgKind<'hir, Unambig>

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.