scala/scala — pull request #2466 by paulp (2013-04-28 16:39:03+00:00)
Title: SI-5353 unsound Array lubs.

mergePrefixAndArgs tried too hard to finesse the Array lub. When
there is more than one distinct Array element type being lubbed,
abandon the attempt to erase to any common Array type, because the
storage must match all the element types and Nothing will always
break this. Simply erase to AnyRef.