Language/Expressions/Method_Invocation/Ordinary_Invocation/accessible_instance_member_t06.dart

// Copyright (c) 2016, 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. It is a static type warning if T
 * does not have an accessible instance member named m unless either:
 * • T or a superinterface of T is annotated with an annotation denoting a
 *   constant identical to the constant @proxy defined in dart:core. Or
 * • T is Type, e is a constant type literal and the class corresponding to e
 *   has a static getter named m.
 * • T is Function and m is call. The type Function is treated as if it has a
 *   call method for any possible signature of call. The expectation is that
 *   any concrete subclass of Function will implement call. Note that a warning
 *   will be issue if this is not the case. Furthermore, any use of call on a
 *   subclass of Function that fails to implement call will also provoke a
 *   warning, as this exemption is limited to type Function, and does not apply
 *   to its subtypes.
 * @description Checks that there is no static type warning if T is Function
 * and m is call.
 * @static-clean
 * @author ngl@unipro.ru
 */
import '../../../../Utils/expect.dart';

libfunc(int i) {
  return i + 1;
}

class A {
  test() {
    locfunc(int i) {
      return i + 3;
    }
    Expect.equals(3, libfunc.call(2));
    Expect.equals(5, locfunc.call(2));
  }
}

main() {
  new A().test();
}