Skip to content

Move gensym operations from Symbol to Ident#60903

Merged
bors merged 3 commits intorust-lang:masterfrom
nnethercote:mv-gensyms-from-Symbol-to-Ident
May 21, 2019
Merged

Move gensym operations from `Symbol` to `Ident`#60903
bors merged 3 commits intorust-lang:masterfrom
nnethercote:mv-gensyms-from-Symbol-to-Ident

Commits

Commits on May 20, 2019