scala/scala — pull request #3094 by retronym (2013-10-31 22:35:40+00:00)
Title: Avoid needless TypeRef allocation during erasure.

- some.package.type need not be erased. We avoid this
by sharpening the check in `rebindInnerClass`. The answer
to the deleted comment in the code, BTW, is anonymous and
local classes, specifically excluded in the new formulation.
- detect if erasure of the TypeRef is an identity and reuse
the original.

Waste not, want not.