| OLD | NEW |
| (Empty) |
| 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 | |
| 3 // BSD-style license that can be found in the LICENSE file. | |
| 4 | |
| 5 // Checks that an overriding method has compatible parameters. | |
| 6 | |
| 7 interface I { | |
| 8 m([a, b]); | |
| 9 } | |
| 10 | |
| 11 interface J extends I { } | |
| 12 | |
| 13 interface K extends J { | |
| 14 m([c, d]); /// 00: compile-time error | |
| 15 } | |
| 16 | |
| 17 class C implements I { | |
| 18 m([a, b]) { | |
| 19 print("$a $b"); | |
| 20 } | |
| 21 } | |
| 22 | |
| 23 class D | |
| 24 extends C /// 01: compile-time error | |
| 25 implements I /// 02: compile-time error | |
| 26 implements J /// 03: compile-time error | |
| 27 { | |
| 28 m([c, d]) { | |
| 29 print("$c $d"); | |
| 30 } | |
| 31 } | |
| 32 | |
| 33 | |
| 34 int main() { | |
| 35 var c = new C(); | |
| 36 c.m(a: "hello", b: "world"); | |
| 37 var d = new D(); | |
| 38 d.m(c: "hello", d: "world"); | |
| 39 print("${c is I} ${d is I} ${d is I} ${d is J}"); | |
| 40 } | |
| 41 | |
| OLD | NEW |