Struct arithmetic_typing::ast::ConstraintsAst

#[non_exhaustive]
pub struct ConstraintsAst<'a> {
    pub static_lengths: Vec<Spanned<'a>>,
    pub type_params: Vec<(Spanned<'a>, TypeConstraintsAst<'a>)>,
}

Parameter constraints, e.g. for<len! N; T: Lin>.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

static_lengths: Vec<Spanned<'a>>

Static lengths, e.g., N in for<len! N>.

type_params: Vec<(Spanned<'a>, TypeConstraintsAst<'a>)>

Type constraints.

Trait Implementations

impl<'a> Clone for ConstraintsAst<'a>

fn clone(&self) -> ConstraintsAst<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for ConstraintsAst<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq for ConstraintsAst<'a>

fn eq(&self, other: &ConstraintsAst<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> StructuralPartialEq for ConstraintsAst<'a>