Add to test case

Author: odersky

compiler/src/dotty/tools/dotc/transform/Mixin.scala

@@ -210,8 +210,7 @@ class Mixin extends MiniPhase with SymTransformer { thisPhase =>
       yield constr.owner -> transformConstructor(p)
     ).toMap
 
-    def superCallOpt(baseCls: Symbol): List[Tree] =
-      superCallsAndArgs.get(baseCls) match
+    def superCallOpt(baseCls: Symbol): List[Tree] = superCallsAndArgs.get(baseCls) match
       case Some((call, _, _)) =>
         if (defn.NotRuntimeClasses.contains(baseCls) || baseCls.isAllOf(NoInitsTrait)) Nil
         else call :: Nil

tests/pos/i9213.scala

@@ -1,8 +1,9 @@
-trait A(a: Any, b: Int) {
-  //var x = 0
-}
-//  class A(a: String, b: Int) {
-//
-//  }                                           //OK!
-  object B extends A(b = 0, a = String(""))
-//  object B extends A(a = String(""), b = 0)   //OK!
+trait A(a: Any, b: Int)
+trait B(a: Any, b: Int):
+  var x = 0
+class C(a: String, b: Int)
+
+object O extends
+  C(b = 0, a = String("")),
+  A(b = 0, a = String("")),
+  B(b = 0, a = String(""))