Merge pull request #4641 from dotty-staging/fix-#4623

Fix #4623: Don't check for repeated parents in refinement classes

Author: odersky

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

@@ -1491,7 +1491,8 @@ class Typer extends Namer
     def typedParent(tree: untpd.Tree): Tree = {
       var result = if (tree.isType) typedType(tree)(superCtx) else typedExpr(tree)(superCtx)
       val psym = result.tpe.typeSymbol
-      if (seenParents.contains(psym)) ctx.error(i"$psym is extended twice", tree.pos)
+      if (seenParents.contains(psym) && !cls.isRefinementClass)
+        ctx.error(i"$psym is extended twice", tree.pos)
       seenParents += psym
       if (tree.isType) {
         if (psym.is(Trait) && !cls.is(Trait) && !cls.superClass.isSubClass(psym))

tests/pos/i4623.scala

@@ -0,0 +1,7 @@
+trait Test {
+  type A <: Any { type T }
+  type B <: Any { type T }
+  type C <: A with B { type T }
+
+  type D <: List[A] with List[B] { type T }
+}