Struct arithmetic_typing::ast::TypeConstraintsAst

#[non_exhaustive]
pub struct TypeConstraintsAst<'a> {
    pub object: Option<ObjectAst<'a>>,
    pub terms: Vec<Spanned<'a>>,
}

Bounds that can be placed on a type variable.

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.

object: Option<ObjectAst<'a>>

Object constraint, such as { x: 'T }.

terms: Vec<Spanned<'a>>

Spans corresponding to constraints, e.g. Foo and Bar in Foo + Bar.

Trait Implementations

impl<'a> Clone for TypeConstraintsAst<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for TypeConstraintsAst<'a>

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

Formats the value using the given formatter.

impl<'a> Default for TypeConstraintsAst<'a>

fn default() -> TypeConstraintsAst<'a>

Returns the “default value” for a type.

impl<'a> PartialEq for TypeConstraintsAst<'a>

fn eq(&self, other: &TypeConstraintsAst<'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 TypeConstraintsAst<'a>