Enum GenericArg 

pub enum GenericArg<P: Phase = Raw> {
    Type(TypeExpr<P>),
    Nat(NatExpr),
}

A generic argument at a call site (turbofish syntax).

eye<3>() has one GenericArg::Nat(NatExpr::Literal(3, ..)). some_fn<Length>() has one GenericArg::Type(TypeExpr { kind: DimExpr(..), .. }).

Variants

Type(TypeExpr<P>)

A type expression (for Dim or Index generic params): Length, Maneuver

Nat(NatExpr)

A nat expression (for Nat generic params): 3, N + 1

Implementations

impl<P: Phase> GenericArg<P>

pub const fn span(&self) -> Span

Get the source span of this generic argument.

Trait Implementations

impl<P: Clone + Phase> Clone for GenericArg<P>

fn clone(&self) -> GenericArg<P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug + Phase> Debug for GenericArg<P>

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

Formats the value using the given formatter.

impl FormatEquivalent for GenericArg

fn format_equivalent(&self, other: &Self) -> bool

Returns true if self and other are equivalent up to formatting.

impl From<GenericArg> for GenericArg<Desugared>

fn from(g: GenericArg<Raw>) -> Self

Converts to this type from the input type.