| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 class S { } | 5 class S { } |
| 6 class G<T> { } | 6 class G<T> { } |
| 7 class M { } | 7 class M { } |
| 8 | 8 |
| 9 typedef T0 = abstract S with M; | 9 typedef T0 = abstract S with M; |
| 10 abstract class T0A = S with M; |
| 10 typedef T1 = final S with M; /// 01: compile-time error | 11 typedef T1 = final S with M; /// 01: compile-time error |
| 11 typedef T2 = var S with M; /// 02: compile-time error | 12 typedef T2 = var S with M; /// 02: compile-time error |
| 12 typedef T3 = const S with M; /// 03: compile-time error | 13 typedef T3 = const S with M; /// 03: compile-time error |
| 13 typedef T4 = static S with M; /// 04: compile-time error | 14 typedef T4 = static S with M; /// 04: compile-time error |
| 14 typedef T5 = external S with M; /// 05: compile-time error | 15 typedef T5 = external S with M; /// 05: compile-time error |
| 15 typedef T6 = G<int> with M; | 16 typedef T6 = G<int> with M; |
| 16 typedef T7 = G<Map<String,int>> with M; | 17 typedef T7 = G<Map<String,int>> with M; |
| 17 | 18 |
| 18 class C0 extends abstract S with M { } /// 06: compile-time error | 19 class C0 extends abstract S with M { } /// 06: compile-time error |
| 19 class C1 extends final S with M { } /// 07: compile-time error | 20 class C1 extends final S with M { } /// 07: compile-time error |
| 20 class C2 extends var S with M { } /// 08: compile-time error | 21 class C2 extends var S with M { } /// 08: compile-time error |
| 21 class C3 extends const S with M { } /// 09: compile-time error | 22 class C3 extends const S with M { } /// 09: compile-time error |
| 22 class C4 extends static S with M { } /// 10: compile-time error | 23 class C4 extends static S with M { } /// 10: compile-time error |
| 23 class C5 extends external S with M { } /// 11: compile-time error | 24 class C5 extends external S with M { } /// 11: compile-time error |
| 24 class C6 extends G<int> with M { } | 25 class C6 extends G<int> with M { } |
| 25 class C7 extends G<Map<String,int>> with M { } | 26 class C7 extends G<Map<String,int>> with M { } |
| 26 | 27 |
| 27 class D0 extends S with M | 28 class D0 extends S with M |
| 28 implements M /// 12: compile-time error | 29 implements M /// 12: compile-time error |
| 29 implements M { } | 30 implements M { } |
| 30 | 31 |
| 31 class D1 extends T0 { } | 32 class D1 extends T0 { } |
| 32 | 33 |
| 33 main() { | 34 main() { |
| 34 new T0(); /// 13: static type warning, runtime error | 35 new T0(); /// 13: static type warning, runtime error |
| 36 new T0A(); /// 13: static type warning, runtime error |
| 35 new T1(); /// 01: continued | 37 new T1(); /// 01: continued |
| 36 new T2(); /// 02: continued | 38 new T2(); /// 02: continued |
| 37 new T3(); /// 03: continued | 39 new T3(); /// 03: continued |
| 38 new T4(); /// 04: continued | 40 new T4(); /// 04: continued |
| 39 new T5(); /// 05: continued | 41 new T5(); /// 05: continued |
| 40 new T6(); | 42 new T6(); |
| 41 new T7(); | 43 new T7(); |
| 42 | 44 |
| 43 new C0(); /// 06: continued | 45 new C0(); /// 06: continued |
| 44 new C1(); /// 07: continued | 46 new C1(); /// 07: continued |
| 45 new C2(); /// 08: continued | 47 new C2(); /// 08: continued |
| 46 new C3(); /// 09: continued | 48 new C3(); /// 09: continued |
| 47 new C4(); /// 10: continued | 49 new C4(); /// 10: continued |
| 48 new C5(); /// 11: continued | 50 new C5(); /// 11: continued |
| 49 new C6(); | 51 new C6(); |
| 50 new C7(); | 52 new C7(); |
| 51 | 53 |
| 52 new D0(); /// 12: continued | 54 new D0(); /// 12: continued |
| 53 new D1(); | 55 new D1(); |
| 54 } | 56 } |
| OLD | NEW |