OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 // Check that duplicate types in implements/extends list are | 4 // Check that duplicate types in implements/extends list are |
5 // compile-time errors. | 5 // compile-time errors. |
6 | 6 |
7 interface I { } | 7 interface I { } |
8 interface J { } | 8 interface J { } |
9 interface K<T> { } | 9 interface K<T> { } |
10 | 10 |
11 class X implements I, J, I { } /// 01: compile-time error | 11 class X implements I, J, I { } /// 01: compile-time error |
12 class X implements J, I, K<int>, K<int> { } /// 02: compile-time error | 12 class X implements J, I, K<int>, K<int> { } /// 02: compile-time error |
13 | 13 |
14 interface Z extends I, J, J { } /// 03: compile-time error | 14 interface Z extends I, J, J { } /// 03: compile-time error |
15 interface Z extends K<int>, K<int> { } /// 04: compile-time error | 15 interface Z extends K<int>, K<int> { } /// 04: compile-time error |
16 | 16 |
17 main() { | 17 main() { |
18 return null; | 18 return null; |
19 } | 19 } |
OLD | NEW |