define the atoms - Githubissues

rust-lang / polonius

Defines the Rust borrow checker.

Apache License 2.0

1.35k stars 73 forks source link

Closed nikomatsakis closed 5 years ago

nikomatsakis commented 5 years ago

I took a stab at some names.

Note that these all have a distinct first letter, should that be relevant, although I would also like to try and use written out words.

Thoughts? We can haggle on Zulip perhaps. =)

amandasystems commented 5 years ago

...I now understand variables. Also, this is embarrassing.

lqd commented 5 years ago

if everyone likes origins, I've prepared https://github.com/rust-lang/polonius/pull/125 to at least start The Great Renaming™