scala/scala — pull request #1132 by magarciaEPFL (2012-08-13 20:44:22+00:00)
Title: follow-up to 07f942971aefcd6829415c56022af8226f931772

Follow-up to https://github.com/scala/scala/pull/1121

As discussed in

https://groups.google.com/d/topic/scala-internals/iPkMCygzws4/discussion

In particular,

https://groups.google.com/d/msg/scala-internals/iPkMCygzws4/LZHydgSjFSUJ

https://groups.google.com/d/msg/scala-internals/iPkMCygzws4/vEjJ4unAoFEJ

https://groups.google.com/d/msg/scala-internals/iPkMCygzws4/MIDPK6-3vwMJ

review by @VladUreche

Comments on performance impact are welcome /cc @gkossakowski