Fix for t1002

Need to compile the self type of a class not in the context of the class members but one context further out.
Reason: self type should not be able to see the members.

Author: odersky

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

@@ -786,7 +786,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
     val constr1 = typed(constr).asInstanceOf[DefDef]
     val parents1 = ensureConstrCall(ensureFirstIsClass(
         parents mapconserve typedParent, cdef.pos.toSynthetic))
-    val self1 = typed(self).asInstanceOf[ValDef]
+    val self1 = typed(self)(ctx.outer).asInstanceOf[ValDef] // outer context where class memebers are not visible
     val localDummy = ctx.newLocalDummy(cls, impl.pos)
     val body1 = typedStats(body, localDummy)(inClassContext(self1.symbol))
     checkNoDoubleDefs(cls)

tests/pos/t0002.scala

@@ -0,0 +1,6 @@
+object main {
+  def main(args: Array[String]) = {
+    val b = true;
+    while (b == true) { }
+  }
+}