Merge pull request #145 from dotty-staging/fix/#143

Fixed #143

2 files changed, 20 insertions, 4 deletions

diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
index 289515ae1..2cf4516cd 100644
--- a/src/dotty/tools/dotc/core/Types.scala
+++ b/src/dotty/tools/dotc/core/Types.scala
@@ -1166,9 +1166,7 @@ object Types {
       TermRef.withSig(prefix, name.asTermName, sig)
 
     protected def loadDenot(implicit ctx: Context): Denotation = {
-      val d =
-        if (name.isInheritedName) prefix.nonPrivateMember(name.revertInherited)
-        else prefix.member(name)
+      val d = asMemberOf(prefix)
       if (d.exists || ctx.phaseId == FirstPhaseId || !lastDenotation.isInstanceOf[SymDenotation])
         d
       else { // name has changed; try load in earlier phase and make current
@@ -1178,6 +1176,10 @@ object Types {
       }
     }
 
+    protected def asMemberOf(prefix: Type)(implicit ctx: Context) =
+      if (name.isInheritedName) prefix.nonPrivateMember(name.revertInherited)
+      else prefix.member(name)
+
     def symbol(implicit ctx: Context): Symbol = {
       val now = ctx.period
       if (checkedPeriod == now ||
@@ -1289,7 +1291,7 @@ object Types {
           sig != Signature.OverloadedSignature &&
           symbol.exists) {
         val ownSym = symbol
-        TermRef(prefix, name).withDenot(prefix.member(name).disambiguate(_ eq ownSym))
+        TermRef(prefix, name).withDenot(asMemberOf(prefix).disambiguate(_ eq ownSym))
       }
       else TermRef.withSig(prefix, name, sig)
     }
diff --git a/tests/pos/i143.scala b/tests/pos/i143.scala
new file mode 100644
index 000000000..8804b20ce
--- /dev/null
+++ b/tests/pos/i143.scala
@@ -0,0 +1,14 @@
+package dotty.tools.dotc
+package transform
+
+import dotty.tools.dotc.core.Denotations._
+import dotty.tools.dotc.core.Symbols._
+import dotty.tools.dotc.core.Contexts._
+
+class TC5 extends AnyVal {
+  implicit val ctx: Context = ???
+
+  def candidates(mbr: SingleDenotation): Boolean = {
+    mbr.symbol.denot(ctx).exists
+  }
+}