Address review comments

 - Clearer code for skipped whynoMatchStr
 - Surivive missing ExportForwarders attachments
 - Add tests with self-referential exports

Author: odersky

compiler/src/dotty/tools/dotc/typer/Namer.scala

@@ -936,6 +936,9 @@ class Namer { typer: Typer =>
     /** Add forwarders as required by the export statements in this class */
     private def processExports(implicit ctx: Context): Unit = {
 
+      /** A string indicating that no forwarders for this kind of symbol are emitted */
+      val SKIP = "(skip)"
+
       /** The forwarders defined by export `exp`.
        */
       def exportForwarders(exp: Export): List[tpd.MemberDef] = {
@@ -948,7 +951,7 @@ class Namer { typer: Typer =>
           val sym = mbr.symbol
           if (sym.is(ImplicitOrImplied) != exp.impliedOnly) s"is ${if (exp.impliedOnly) "not " else ""}implied"
           else if (!sym.isAccessibleFrom(path.tpe)) "is not accessible"
-          else if (sym.isConstructor || sym.is(ModuleClass) || sym.is(Bridge)) "_"
+          else if (sym.isConstructor || sym.is(ModuleClass) || sym.is(Bridge)) SKIP
           else if (cls.derivesFrom(sym.owner) &&
                    (sym.owner == cls || !sym.is(Deferred))) i"is already a member of $cls"
           else ""
@@ -1007,7 +1010,7 @@ class Namer { typer: Typer =>
           val mbrs = List(name, name.toTypeName).flatMap(path.tpe.member(_).alternatives)
           mbrs.foreach(addForwarder(alias, _, span))
           if (buf.size == size) {
-            val reason = mbrs.map(whyNoForwarder).dropWhile(_ == "-") match {
+            val reason = mbrs.map(whyNoForwarder).dropWhile(_ == SKIP) match {
               case Nil => ""
               case why :: _ => i"\n$path.$name cannot be exported because it $why"
             }

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -2160,7 +2160,8 @@ class Typer extends Namer
       case Thicket(stats) :: rest =>
         traverse(stats ++ rest)
       case (stat: untpd.Export) :: rest =>
-        buf ++= stat.attachment(ExportForwarders)
+        buf ++= stat.attachmentOrElse(ExportForwarders, Nil)
+          // no attachment can happen in case of cyclic references
         traverse(rest)
       case stat :: rest =>
         val stat1 = typed(stat)(ctx.exprContext(stat, exprOwner))

tests/neg/exports.scala

@@ -34,4 +34,18 @@ trait IterableOps[+A, +CC[_], +C] {
 
   export this.{concat => ++}   // error: no eligible member
 
-}
+}
+
+class Foo {
+  val foo : Foo = new Foo
+  export foo.foo // error: no eligible member
+}
+
+class Baz {
+  val bar: Bar = new Bar // error: cyclic reference
+  export bar._
+}
+class Bar {
+  val baz: Baz = new Baz
+  export baz._
+}

tests/run/exports.scala

@@ -29,4 +29,9 @@ object Test extends App {
   Copier.cfg
   Copier.config
   Copier.config2
+}
+
+final class Foo {
+  lazy val foo : Foo = new Foo
+  export foo._ // nothing is exported
 }