Fix #4659: disallow reference to object itself in super calls

Author: liufengyun

compiler/src/dotty/tools/dotc/typer/Checking.scala

@@ -783,6 +783,19 @@ trait Checking {
       else if (called.is(Trait) && !caller.mixins.contains(called))
         ctx.error(i"""$called is already implemented by super${caller.superClass},
                    |its constructor cannot be called again""", call.sourcePos)
+
+      if (caller.is(Module)) {
+        val objRef = caller.sourceModule.termRef
+        val traverser = new TreeTraverser {
+          def traverse(tree: Tree)(implicit ctx: Context) = tree match {
+            case tree: RefTree if tree.isTerm && tree.tpe <:< objRef =>
+              ctx.error("super constructor cannot be passed a self reference", tree.sourcePos)
+            case _ =>
+              traverseChildren(tree)
+          }
+        }
+        traverser.traverse(call)
+      }
     }
 
   /** Check that `tpt` does not define a higher-kinded type */

tests/neg/i4659.scala

@@ -0,0 +1,11 @@
+class A(val a: A)(val b:a.T) {
+  type T
+}
+
+object a0 extends A(a0)(0) {  // error
+  type T = Int
+}
+
+object Test extends App {
+  new A(a0)(1)
+}