2 files changed, 8 insertions, 7 deletions
diff --git a/src/compiler/scala/tools/nsc/transform/Erasure.scala b/src/compiler/scala/tools/nsc/transform/Erasure.scala
index 6732900ef2..54b5b399ac 100644
--- a/src/compiler/scala/tools/nsc/transform/Erasure.scala
+++ b/src/compiler/scala/tools/nsc/transform/Erasure.scala
@@ -760,7 +760,7 @@ abstract class Erasure extends AddInterfaces
           || super.exclude(sym)
           || !sym.hasTypeAt(currentRun.refchecksPhase.id)
         )
-        override def matches(sym1: Symbol, sym2: Symbol) = true
+        override def matches(lo: Symbol, high: Symbol) = true
       }
       def isErasureDoubleDef(pair: SymbolPair) = {
         import pair._
diff --git a/src/compiler/scala/tools/nsc/transform/OverridingPairs.scala b/src/compiler/scala/tools/nsc/transform/OverridingPairs.scala
index 4222c4d8c8..870eafbf20 100644
--- a/src/compiler/scala/tools/nsc/transform/OverridingPairs.scala
+++ b/src/compiler/scala/tools/nsc/transform/OverridingPairs.scala
@@ -24,15 +24,16 @@ abstract class OverridingPairs extends SymbolPairs {
     /** Symbols to exclude: Here these are constructors and private/artifact symbols,
      *  including bridges. But it may be refined in subclasses.
      */
-    override protected def exclude(sym: Symbol) = (sym hasFlag PRIVATE | ARTIFACT) || sym.isConstructor
+    override protected def exclude(sym: Symbol) = sym.isPrivateLocal || sym.isArtifact || sym.isConstructor
 
     /** Types always match. Term symbols match if their member types
      *  relative to `self` match.
      */
-    override protected def matches(sym1: Symbol, sym2: Symbol) = sym1.isType || (
-         (sym1.owner != sym2.owner)
-      && !exclude(sym2)
-      && relatively.matches(sym1, sym2)
-    )
+    override protected def matches(lo: Symbol, high: Symbol) = lo.isType || (
+         (lo.owner != high.owner)     // don't try to form pairs from overloaded members
+      && !high.isPrivate              // private or private[this] members never are overriden
+      && !exclude(lo)                 // this admits private, as one can't have a private member that matches a less-private member.
+      && relatively.matches(lo, high)
+    ) // TODO we don't call exclude(high), should we?
   }
 }