blob: d8957b297dd7e507891fa6336c5388526a9e37d1 [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 It is a compile error if an abstract member m is declared or
* inherited in a concrete class C unless:
* - m overrides a concrete member, or
* - C has a noSuchMethod() method distinct from the one declared in class
* Object.
* @description Checks that there is no compile error if an abstract
* method is inherited in a concrete class and this class declared method
* noSuchMethod() that overrides method from class Object.
* @static-clean
* @author ngl@unipro.ru
*/
abstract class A {
foo([x]);
}
class C extends A {
noSuchMethod(Invocation i) {}
}
main() {
new C();
}