*** empty log message ***

1 files changed, 8 insertions, 2 deletions

diff --git a/sources/scala/tools/nsc/typechecker/RefChecks.scala b/sources/scala/tools/nsc/typechecker/RefChecks.scala
index 9f3bb56d3c..b6becf5972 100755
--- a/sources/scala/tools/nsc/typechecker/RefChecks.scala
+++ b/sources/scala/tools/nsc/typechecker/RefChecks.scala
@@ -81,6 +81,10 @@ abstract class RefChecks extends InfoTransform {
 	mvarRef))
   }
 
+  // def m: T;
+  def newModuleAccessDcl(accessor: Symbol) =
+    DefDef(accessor setFlag lateDEFERRED, vparamss => EmptyTree);
+
   class RefCheckTransformer(unit: CompilationUnit) extends Transformer {
 
     var localTyper: analyzer.Typer = typer;
@@ -450,10 +454,12 @@ abstract class RefChecks extends InfoTransform {
           val ddef =
 	    atPhase(phase.next) {
 	      localTyper.typed {
-                newModuleAccessDef(sym, vdef.symbol)
+                if (sym.owner.isTrait) newModuleAccessDcl(sym)
+                else newModuleAccessDef(sym, vdef.symbol)
               }
             }
-          if (sym.owner.isTrait) List(transform(cdef))
+
+          if (sym.owner.isTrait) transformTrees(List(cdef, ddef))
           else transformTrees(List(cdef, vdef, ddef))
 	}