Struct RenameConstraint 

pub struct RenameConstraint<'a> {
    pub rename_constraint_span: Span,
    pub old_constraint_name: Identifier<'a>,
    pub to_span: Span,
    pub new_constraint_name: Identifier<'a>,
}

RENAME CONSTRAINT specification

Fields

rename_constraint_span: Span

Span of “RENAME CONSTRAINT”

old_constraint_name: Identifier<'a>

Old name of constraint

to_span: Span

Span of “TO”

new_constraint_name: Identifier<'a>

New name of constraint

Trait Implementations

impl<'a> Clone for RenameConstraint<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for RenameConstraint<'a>

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

Formats the value using the given formatter.

impl<'a> Spanned for RenameConstraint<'a>

fn span(&self) -> Span

Compute byte span of an ast fragment

fn join_span(&self, other: &impl OptSpanned) -> Span

Compute the minimal span containing both self and other