scala/scala — pull request #1119 by paulp (2012-08-11 15:18:42+00:00)
Title: Optimization in SubstMap.

Don't create a new type with the same symbol. This
modification avoids the creation of 30K types and a
similar number of symbols in a compile of trunk.