| // 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 = 2.7 |
| |
| // Test based on language_2/call_method_function_typed_value_test/04 |
| |
| import "package:expect/expect.dart"; |
| |
| /*member: f:[subclass=JSInt]*/ |
| int f( |
| int |
| /*spec.[null|subclass=Object]*/ |
| /*prod.[null|subclass=JSInt]*/ |
| i) => |
| 2 /*invoke: [exact=JSUInt31]*/ * i; |
| |
| typedef int IntToInt(int x); |
| |
| /*member: test:[null]*/ |
| test(/*[null|subclass=Object]*/ a, /*[subclass=Closure]*/ b) => |
| Expect.identical(a, b); |
| |
| /*member: main:[null]*/ |
| main() { |
| // It is possible to use `.call` on a function-typed value (even though it is |
| // redundant). Similarly, it is possible to tear off `.call` on a |
| // function-typed value (but it is a no-op). |
| IntToInt f2 = f; |
| |
| test(f2. /*[subclass=Closure]*/ call, f); |
| } |