Struct kailua_syntax::ast::RenameRef
[−]
[src]
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
[src]
fn clone(&self) -> RenameRef
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0
Performs copy-assignment from source
. Read more
impl PartialEq for RenameRef
[src]
fn eq(&self, __arg_0: &RenameRef) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &RenameRef) -> bool
This method tests for !=
.