| // TODO(multitest): This was automatically migrated from a multitest and may | |
| // contain strange or dead code. | |
| // Copyright (c) 2015, 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. | |
| // Validate the following spec text from section 16.14.3 (Unqualified | |
| // invocation): | |
| // An unqualifiedfunction invocation i has the form | |
| // id(a1, ..., an, xn+1 : an+1, ..., xn+k : an+k), | |
| // where id is an identifier. | |
| // If there exists a lexically visible declaration named id, let fid be the | |
| // innermost such declaration. Then: | |
| // - If fid is a prefix object, a compile-time error occurs. | |
| import "empty_library.dart" as p; | |
| class Base { | |
| void p() {} | |
| } | |
| class Derived extends Base { | |
| void f() {} | |
| } | |
| main() { | |
| new Derived().f(); | |
| } |