Better error message for accessibility errors.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala
index a53a18963..43266163b 100644
--- a/src/dotty/tools/dotc/typer/Typer.scala
+++ b/src/dotty/tools/dotc/typer/Typer.scala
@@ -113,20 +113,20 @@ class Typer extends Namer with Applications with Implicits {
           checkAccessible(pre.select(name, d2), superAccess, pos)
         else {
           val alts = tpe.denot.alternatives.map(_.symbol).filter(_.exists)
-          val where = pre.typeSymbol
           val what = alts match {
             case Nil =>
               name.toString
             case sym :: Nil =>
-              if (sym.owner == where) sym.show else sym.showLocated
+              if (sym.owner == pre.typeSymbol) sym.show else sym.showLocated
             case _ =>
               i"none of the overloaded alternatives named $name"
           }
+          val where = if (ctx.owner.exists) s" from ${ctx.owner.enclosingClass}" else "" 
           val whyNot = new StringBuffer
           val addendum =
             alts foreach (_.isAccessibleFrom(pre, superAccess, whyNot))
           if (!tpe.isError)
-            ctx.error(i"$what cannot be accessed from $pre.$whyNot", pos)
+            ctx.error(i"$what cannot be accessed as a member of $pre$where.$whyNot", pos)
           ErrorType
         }
       }