Skip useless recursion in freshening and late-bound-region substitution#26055
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 10, 2015
Merged
Skip useless recursion in freshening and late-bound-region substitution#26055bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
Commits
Commits on Jun 8, 2015
- committed
Ariel Ben-Yehuda