nikomatsakis/rust-redex — pull request #8 by anasazi (2014-05-15 17:36:57+00:00)
Title: Use gensym to generate fresh lifetimes for match bodies.

Turns out we can use `gensym` to generate fresh lifetimes.