// Copyright (c) 2018, 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.
// Dart test program to test arithmetic operations.

// @dart = 2.9

import "package:expect/expect.dart";

class C {
  void Function() get call => () {};
}

class D {
  get call => this;
}

// Recurs outside the try-block to avoid disabling inlining.
callD() {
  dynamic d = new D();
  d();
}

main() {
  C c = new C();
  dynamic d = c;

  // The presence of a getter named `call` does not permit the class `C` to be
  // implicitly called.
  c(); //# 01: compile-time error
  // Nor does it permit an implicit tear-off of `call`.
  void Function() f = c; //# 02: compile-time error
  // Nor does it permit a dynamic invocation of `call`.
  Expect.throws(() => d()); //# 03: ok
  // Same as previous line, but with a getter that can stack overflow if
  // incorrect behavior is present. Merged from issue21159_test.
  Expect.throwsNoSuchMethodError(() => callD()); //# 03: ok

  // However, all these things are possible if `call` is mentioned explicitly.
  c.call(); //# 04: ok
  void Function() f = c.call; //# 05: ok
  d.call(); //# 06: ok
}