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 import "package:expect/expect.dart"; |
| 6 |
5 class M1 { foo() => 42; } | 7 class M1 { foo() => 42; } |
6 typedef M2 = Object with M1; | 8 typedef M2 = Object with M1; |
7 | 9 |
8 class S { } | 10 class S { } |
9 typedef C = S with M2; | 11 typedef C = S with M2; |
10 | 12 |
11 main() { | 13 main() { |
12 var c = new C(); | 14 var c = new C(); |
13 Expect.isTrue(c is S); | 15 Expect.isTrue(c is S); |
14 Expect.isTrue(c is M1); | 16 Expect.isTrue(c is M1); |
15 Expect.isTrue(c is M2); | 17 Expect.isTrue(c is M2); |
16 Expect.isTrue(c is C); | 18 Expect.isTrue(c is C); |
17 Expect.equals(42, c.foo()); | 19 Expect.equals(42, c.foo()); |
18 } | 20 } |
OLD | NEW |