blob: 33b6942fc682a93db6b1b3c7c226c76e375f4fc4 [file] [log] [blame]
/*
* Copyright (c) 2011, 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.
*/
/**
* @assertion Unless explicitly stated otherwise, all ordinary rules that apply
* to methods apply to abstract methods.
* It is a static warning if an instance method m1 overrides an instance member
* m2, the signature of m2 explicitly specifies a default value for a formal
* parameter p and the signature of m1 specifies a different default value for
* p.
* @description Checks that it is a static warning if an abstract method
* overrides an abstract method and does not explicitly specify a default value
* for its optional parameter while the overridden method does.
* @static-warning
* @author msyabro
*/
abstract class A {
foo([x = 1]);
}
abstract class C extends A {
foo([x]);
}
main() {
}