Cleanups

Conflicts:
	src/dotty/tools/dotc/transform/Splitter.scala

Author: odersky

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

@@ -474,7 +474,6 @@ class Namer { typer: Typer =>
 
       index(rest)(inClassContext(selfInfo))
       denot.info = ClassInfo(cls.owner.thisType, cls, parentRefs, decls, selfInfo)
-      // make sure constr parameters are all entered because we refer to them in desugarings:
     }
   }
 

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

@@ -109,7 +109,8 @@ trait TypeAssigner {
           // it could be that we found an inaccessbile private member, but there is
           // an inherited non-private member with the same name and signature.
           val d2 = pre.nonPrivateMember(name)
-          if (reallyExists(d2) && firstTry) test(pre.select(name, d2), false)
+          if (reallyExists(d2) && firstTry)
+            test(pre.select(name, d2), false)
           else {
             val alts = tpe.denot.alternatives.map(_.symbol).filter(_.exists)
             val what = alts match {

tests/pos/alias.scala

@@ -0,0 +1,3 @@
+class A(val x: Int)
+
+class B(x: Int) extends A(x)