Bug fixes

Author: odersky

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

@@ -948,6 +948,7 @@ class Namer { typer: Typer =>
           sym.is(ImplicitOrImplied) == exp.impliedOnly &&
           sym.isAccessibleFrom(path.tpe) &&
           !sym.isConstructor &&
+          !sym.is(ModuleClass) &&
           !cls.derivesFrom(sym.owner)
 
         /** Add a forwarder with name `alias` or its type name equivalent to `mbr`,
@@ -981,7 +982,7 @@ class Namer { typer: Typer =>
                 ctx.newSymbol(
                   cls, alias,
                   Method | Final | mbr.symbol.flags & ImplicitOrImplied,
-                  mbr.info,
+                  mbr.info.ensureMethodic,
                   coord = span)
             val forwarderDef =
               if (forwarder.isType) tpd.TypeDef(forwarder.asType)

tests/run/exports.check

@@ -0,0 +1,4 @@
+config
+printing
+scanning
+config

tests/run/exports.scala

@@ -1,10 +1,13 @@
 object Test extends App {
 
-  case class Config()
+  case class Config() {
+    println("config")
+  }
 
   class Printer {
     def print() = println("printing")
-    implied config for Config()
+    object cfg extends Config
+    implied config for Config
   }
 
   class Scanner {
@@ -23,6 +26,7 @@ object Test extends App {
 
   Copier.print()
   Copier.scanIt()
+  Copier.cfg
   Copier.config
   Copier.config2
 }