fixed problems with refinements.

added missing decode in error diagnostic

1 files changed, 14 insertions, 0 deletions

diff --git a/src/compiler/scala/tools/nsc/transform/Erasure.scala b/src/compiler/scala/tools/nsc/transform/Erasure.scala
index 8bffb80b2b..9df54f371a 100644
--- a/src/compiler/scala/tools/nsc/transform/Erasure.scala
+++ b/src/compiler/scala/tools/nsc/transform/Erasure.scala
@@ -779,6 +779,20 @@ abstract class Erasure extends AddInterfaces with typechecker.Analyzer {
               }
             else tree
 
+          case Select(qual, _) =>
+            if (tree.symbol.owner.isRefinementClass) {
+              var sym: Symbol = NoSymbol
+              var bcs = tree.symbol.owner.info.baseClasses.tail
+              //Console.println("resetting "+tree.symbol+tree.symbol.locationString+bcs)//DEBUG
+              while (!bcs.isEmpty && sym == NoSymbol) {
+                sym = tree.symbol.overriddenSymbol(bcs.head)
+                bcs = bcs.tail
+              }
+              assert(sym != NoSymbol, tree.symbol)
+              tree.symbol = sym
+            }
+            tree
+
           case Template(parents, body) =>
             assert(!currentOwner.isImplClass)
             //Console.println("checking no dble defs " + tree)//DEBUG