test/files/neg/t5455.scala: trait lazy val needs field

Author: adriaanm

src/compiler/scala/tools/nsc/typechecker/MethodSynthesis.scala

@@ -488,10 +488,10 @@ trait MethodSynthesis {
       // as the symbol info is in the process of being created then.
       // TODO: harmonize tree & symbol creation
       // TODO: the `def field` call-site breaks when you add `|| vd.symbol.owner.isTrait` (detected in test suite)
-      def noFieldFor(vd: ValDef) = vd.mods.isDeferred || (vd.mods.isLazy && isUnitType(vd.symbol.info)) || (owner.isTrait && !traitFieldFor(vd))
+      def noFieldFor(vd: ValDef) = vd.mods.isDeferred || (vd.mods.isLazy && !owner.isTrait && isUnitType(vd.symbol.info)) || (owner.isTrait && !traitFieldFor(vd))
 
       // TODO: never emit any fields in traits -- only use getter for lazy/presuper ones as well
-      private def traitFieldFor(vd: ValDef): Boolean = vd.mods.hasFlag(PRESUPER)
+      private def traitFieldFor(vd: ValDef): Boolean = vd.mods.hasFlag(PRESUPER | LAZY)
     }
 
     case class Field(tree: ValDef) extends DerivedFromValDef {