Language/Expressions/Property_Extraction/Getter_Access_and_Method_Extraction/static_member_t01.dart

// 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.

/// @assertion Evaluation of a property extraction i of the form e.m proceeds
/// as follows: ...
/// Let T be the static type of e. It is a static type warning if T does not
/// have a method or getter named m unless either:
/// ...
/// • T is Type, e is a constant type literal and the class corresponding to e
///   has a static method or getter named m
/// @description Check that it is no static type warning if e is a constant type
/// literal and the class corresponding to e has a static method named m
/// @author sgrekhov@unipro.ru


class C {
  static int m() => 1;
}

main() {
  C.m;
}