blob: 9db40eef48d32b49bd198e19868d4a65f1e0a775 [file] [log] [blame]
// 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.
// Checks that an overriding method has compatible parameters.
abstract class I {
m({a, b});
}
abstract class J extends I {}
abstract class K extends J {
m({c, d}); // //# 00: compile-time error
}
class C implements I {
m({a, b}) {
print("$a $b");
}
}
class D
extends C // //# 01: compile-time error
implements I // //# 02: compile-time error
implements J // //# 03: compile-time error
{
m({c, d}) {
print("$c $d");
}
}
void main() {
var c = new C();
c.m(a: "hello", b: "world");
var d = new D();
d.m(c: "hello", d: "world");
}