- fixed a bug in the "refinements" method (note...

- fixed a bug in the "refinements" method (note: all of this will
disappear soon, but I just want to keep the history)

1 files changed, 8 insertions, 2 deletions

diff --git a/sources/scalac/transformer/TypesAsValuesPhase.java b/sources/scalac/transformer/TypesAsValuesPhase.java
index 217ed6553e..698a7eb8d1 100644
--- a/sources/scalac/transformer/TypesAsValuesPhase.java
+++ b/sources/scalac/transformer/TypesAsValuesPhase.java
@@ -1064,8 +1064,14 @@ public class TypesAsValuesPhase extends Phase {
         while (membersIt.hasNext()) {
             Symbol mem = membersIt.next();
             Symbol origMem = originalSymbol(mem);
-            if (origMem != Symbol.NONE && !mem.info().isSameAs(origMem.info()))
-                myRefs.add(new Refinement(origMem, mem.info()));
+            if (origMem != Symbol.NONE) {
+                Type ownerTp = mem.owner().thisType();
+                Type origTp = ownerTp.memberType(origMem);
+                Type memTp = ownerTp.memberType(mem);
+
+                if (!memTp.isSameAs(origTp))
+                    myRefs.add(new Refinement(origMem, mem.info()));
+            }
         }
         Collections.sort(myRefs);
         return myRefs;