|  | // TODO(multitest): This was automatically migrated from a multitest and may | 
|  | // contain strange or dead code. | 
|  |  | 
|  | // @dart = 2.9 | 
|  |  | 
|  | // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file | 
|  | // for details. All rights reserved. Use of this source code is governed by a | 
|  | // BSD-style license that can be found in the LICENSE file. | 
|  |  | 
|  | class S0 {} | 
|  |  | 
|  | class S1 extends Object {} | 
|  |  | 
|  | class S2 extends S0 {} | 
|  |  | 
|  | class M0 {} | 
|  |  | 
|  | class M1 extends Object {} | 
|  |  | 
|  | class M2 extends M0 {} | 
|  |  | 
|  | class C00 = S0 with M0; | 
|  | class C01 = S0 with M1; | 
|  |  | 
|  | class C03 = S0 with M0, M1; | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | class C10 = S1 with M0; | 
|  | class C11 = S1 with M1; | 
|  |  | 
|  | class C13 = S1 with M0, M1; | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | class C20 = S2 with M0; | 
|  | class C21 = S2 with M1; | 
|  |  | 
|  | class C23 = S2 with M0, M1; | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | class D00 extends S0 with M0 {} | 
|  |  | 
|  | class D01 extends S0 with M1 {} | 
|  |  | 
|  |  | 
|  | class D03 extends S0 with M0, M1 {} | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | class D10 extends S1 with M0 {} | 
|  |  | 
|  | class D11 extends S1 with M1 {} | 
|  |  | 
|  |  | 
|  | class D13 extends S1 with M0, M1 {} | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | class D20 extends S2 with M0 {} | 
|  |  | 
|  | class D21 extends S2 with M1 {} | 
|  |  | 
|  |  | 
|  | class D23 extends S2 with M0, M1 {} | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | main() { | 
|  | new C00(); | 
|  | new C01(); | 
|  |  | 
|  | new C03(); | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | new C10(); | 
|  | new C11(); | 
|  |  | 
|  | new C13(); | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | new C20(); | 
|  | new C21(); | 
|  |  | 
|  | new C23(); | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | new D00(); | 
|  | new D01(); | 
|  |  | 
|  | new D03(); | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | new D10(); | 
|  | new D11(); | 
|  |  | 
|  | new D13(); | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | new D20(); | 
|  | new D21(); | 
|  |  | 
|  | new D23(); | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | } |