Fix check for synthesized lazy var/def

nicolasstucki · nicolasstucki · commit b8f6c56378fc · 2017-06-14T10:20:48.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Checking.scala b/compiler/src/dotty/tools/dotc/typer/Checking.scala
@@ -564,8 +564,8 @@ trait Checking {
     if (sym is Lazy) {
       def error(kind: String) = ctx.error("lazy keyword cannot be used on " + kind, tree.pos)
       tree match {
-        case _: DefDef => error("def")
-        case _: ValDef if sym.is(Mutable) => error("var")
+        case _: DefDef if !sym.is(Accessor) => error("def")
+        case _: ValDef if sym.is(Mutable) && !sym.is(Synthetic) => error("var")
         case _ =>
       }
     }

Original file line number	Diff line number	Diff line change
`@@ -564,8 +564,8 @@ trait Checking {`
`564`	`564`	`if (sym is Lazy) {`
`565`	`565`	`def error(kind: String) = ctx.error("lazy keyword cannot be used on " + kind, tree.pos)`
`566`	`566`	`tree match {`
`567`		`- case _: DefDef => error("def")`
`568`		`- case _: ValDef if sym.is(Mutable) => error("var")`
	`567`	`+ case _: DefDef if !sym.is(Accessor) => error("def")`
	`568`	`+ case _: ValDef if sym.is(Mutable) && !sym.is(Synthetic) => error("var")`
`569`	`569`	`case _ =>`
`570`	`570`	`}`
`571`	`571`	`}`