blob: 900457136f978932854fdfca89562a3a41336c63 [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 Let T be the static type of o.
/// ...
/// If T.m exists, it is a static type warning if the type F of T.m may not be
/// assigned to a function type.
/// @description Checks static invocations, when T denotes a class C declared
/// in the current scope. It is a compile error if the type of C.m can not
/// be assigned to a function type.
/// @author msyabro
class C {
static int m;
// ^
// [analyzer] unspecified
// [cfe] unspecified
}
main() {
C.m();
//^
// [analyzer] unspecified
// [cfe] unspecified
}