| // Copyright (c) 2012, 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. |
| // Check that duplicate types in implements/extends list are |
| // compile-time errors. |
| |
| abstract class I { } |
| abstract class J { } |
| abstract class K<T> { } |
| |
| class X implements I, J, I { } /// 01: compile-time error |
| class X implements J, I, K<int>, K<int> { } /// 02: compile-time error |
| |
| abstract class Z implements I, J, J { } /// 03: compile-time error |
| abstract class Z implements K<int>, K<int> { } /// 04: compile-time error |
| |
| main() { |
| return null; |
| } |
