Struct kailua_syntax::ast::RenameRef

pub struct RenameRef {
    pub before: NameRef,
    pub after: NameRef,
}

Similar to NameRef but redefines a local name in the current scope.

This is required for --# assume-like statements, where the same local name (if any) can be redefined for the purpose of typing. It is also possible to redefine global as local and vice versa, though local to global would be essentially forbidden by Lua semantics.

Fields

before: NameRef

after: NameRef

Trait Implementations

impl Clone for RenameRef

fn clone(&self) -> RenameRef

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for RenameRef

fn eq(&self, __arg_0: &RenameRef) -> bool

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

fn ne(&self, __arg_0: &RenameRef) -> bool

This method tests for !=.

impl Eq for RenameRef

impl Debug for RenameRef

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

Formats the value using the given formatter.