Fixes SI-6500 by making erasure more regular.

With the introduction of value classes, erasure uses specialErasure where a value class C with underlying type T is unboxed to an ErasedValueType. ErasedValue types are eliminated on phase later, in post-erasure. This was done everywhere, except in the parameter types of bridge methods. That was a mistale, because that way  bridge methods could not do the boxing/unboxing logic triggered by ErasedValueTypes.

Note: there is one remaining use of erasure (not specialErasure) in Erasure.scala. I put in a comment why that is OK.

1 files changed, 4 insertions, 2 deletions

diff --git a/src/compiler/scala/tools/nsc/transform/Erasure.scala b/src/compiler/scala/tools/nsc/transform/Erasure.scala
index 3ac7dd2a8f..a581c6d734 100644
--- a/src/compiler/scala/tools/nsc/transform/Erasure.scala
+++ b/src/compiler/scala/tools/nsc/transform/Erasure.scala
@@ -469,7 +469,7 @@ abstract class Erasure extends AddInterfaces
     }
 
     def checkPair(member: Symbol, other: Symbol) {
-      val otpe = erasure(root)(other.tpe)
+      val otpe = specialErasure(root)(other.tpe)
       val bridgeNeeded = afterErasure (
         !(other.tpe =:= member.tpe) &&
         !(deconstMap(other.tpe) =:= deconstMap(member.tpe)) &&
@@ -488,7 +488,7 @@ abstract class Erasure extends AddInterfaces
       debuglog("generating bridge from %s (%s): %s to %s: %s".format(
         other, flagsToString(newFlags),
         otpe + other.locationString, member,
-        erasure(root)(member.tpe) + member.locationString)
+        specialErasure(root)(member.tpe) + member.locationString)
       )
 
       // the parameter symbols need to have the new owner
@@ -1118,6 +1118,8 @@ abstract class Erasure extends AddInterfaces
               } else {
                 // store exact array erasure in map to be retrieved later when we might
                 // need to do the cast in adaptMember
+                // Note: No specialErasure needed here because we simply cast, on
+                // elimination of SelectFromArray, no boxing or unboxing is done there.
                 treeCopy.Apply(
                   tree,
                   SelectFromArray(qual, name, erasure(tree.symbol)(qual.tpe)).copyAttrs(fn),