This is what I get for snipping the minimal patch off the big patch...

My actual patch for this subject matter is 
``` 
 src/compiler/scala/tools/nsc/backend/ScalaPrimitives.scala   |   8 +-
 src/compiler/scala/tools/nsc/transform/AddInterfaces.scala   |   2 +-
 src/compiler/scala/tools/nsc/transform/Erasure.scala         |  95 ++++++------
 src/compiler/scala/tools/nsc/transform/Flatten.scala         |   2 +-
 src/compiler/scala/tools/nsc/transform/SpecializeTypes.scala |  21 +--
 src/compiler/scala/tools/nsc/transform/UnCurry.scala         |  40 +++--
 src/compiler/scala/tools/nsc/typechecker/Implicits.scala     |   2 +-
 src/reflect/scala/reflect/internal/Definitions.scala         |  77 ++++++++--
 src/reflect/scala/reflect/internal/Types.scala               |  11 +-
 src/reflect/scala/reflect/internal/tpe/GlbLubs.scala         |  16 ++
 src/reflect/scala/reflect/internal/transform/Arrays.scala    | 103 +++++++++++++
 src/reflect/scala/reflect/internal/transform/Erasure.scala   | 261 ++++++++++++---------------------
 test/files/run/analyzerPlugins.check                         |   4 +-
 test/files/run/existentials.scala                            |  22 +--
 test/files/run/t5353.check                                   |  59 +++++++-
 test/files/run/t5353.scala                                   | 115 ++++++++++++++-
 test/files/run/t5353b.check                                  | 150 +++++++++++++++++++
 test/files/run/t5353b.scala                                  | 357 +++++++++++++++++++++++++++++++++++++++++++++
 18 files changed, 1042 insertions(+), 303 deletions(-)
```
But I didn't want poor #7088 to wait on my breaking that into beautiful little bird appetite sized chunks.