| // 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. |
| |
| // @dart = 2.9 |
| |
| // Check mixin of black-listed types. |
| |
| import 'package:expect/expect.dart'; |
| |
| class C {} |
| |
| class D {} |
| |
| class C1 extends Object |
| with String //# 01: compile-time error |
| {} |
| |
| class D1 extends Object with C |
| , Null //# 02: compile-time error |
| {} |
| |
| class E1 extends Object |
| with |
| int, //# 03: compile-time error |
| C {} |
| |
| class F1 extends Object |
| with |
| C |
| , double //# 04: compile-time error |
| , |
| D {} |
| |
| class C2 = Object with num; //# 05: compile-time error |
| |
| class D2 = Object with C |
| , bool //# 06: compile-time error |
| ; |
| |
| class E2 = Object |
| with |
| String, //# 07: compile-time error |
| C; |
| |
| class F2 = Object |
| with |
| C, |
| dynamic, //# 08: compile-time error |
| D; |
| |
| main() { |
| Expect.isNotNull(new C1()); |
| Expect.isNotNull(new D1()); |
| Expect.isNotNull(new E1()); |
| Expect.isNotNull(new F1()); |
| Expect.isNotNull(new C2()); //# 05: continued |
| Expect.isNotNull(new D2()); |
| Expect.isNotNull(new E2()); |
| Expect.isNotNull(new F2()); |
| } |