blob: 193122f40ba933f620e4b564474a808f6acddd11 [file] [log] [blame]
// 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.
// [defaultFn_i] is called only via [foo_i]'s default value with a small integer.
/*member: defaultFn1:[exact=JSUInt31|powerset={I}{O}{N}]*/
defaultFn1(/*[exact=JSUInt31|powerset={I}{O}{N}]*/ a) => a;
/*member: defaultFn2:[exact=JSUInt31|powerset={I}{O}{N}]*/
defaultFn2(/*[exact=JSUInt31|powerset={I}{O}{N}]*/ a) => a;
/*member: defaultFn3:[exact=JSUInt31|powerset={I}{O}{N}]*/
defaultFn3(/*[exact=JSUInt31|powerset={I}{O}{N}]*/ a) => a;
/*member: defaultFn4:[exact=JSUInt31|powerset={I}{O}{N}]*/
defaultFn4(/*[exact=JSUInt31|powerset={I}{O}{N}]*/ a) => a;
/*member: defaultFn5:[exact=JSUInt31|powerset={I}{O}{N}]*/
defaultFn5(/*[exact=JSUInt31|powerset={I}{O}{N}]*/ a) => a;
/*member: defaultFn6:[exact=JSUInt31|powerset={I}{O}{N}]*/
defaultFn6(/*[exact=JSUInt31|powerset={I}{O}{N}]*/ a) => a;
/*member: foo1:[null|subclass=Object|powerset={null}{IN}{GFUO}{IMN}]*/
foo1([/*[subclass=Closure|powerset={N}{O}{N}]*/ fn = defaultFn1]) => fn(54);
/*member: foo2:[null|subclass=Object|powerset={null}{IN}{GFUO}{IMN}]*/
foo2({/*[subclass=Closure|powerset={N}{O}{N}]*/ fn = defaultFn2}) => fn(54);
/*member: foo3:[null|subclass=Object|powerset={null}{IN}{GFUO}{IMN}]*/
foo3([/*[subclass=Closure|powerset={N}{O}{N}]*/ fn = defaultFn3]) => fn(54);
/*member: foo4:[null|subclass=Object|powerset={null}{IN}{GFUO}{IMN}]*/
foo4({/*[subclass=Closure|powerset={N}{O}{N}]*/ fn = defaultFn4}) => fn(54);
/*member: foo5:[null|subclass=Object|powerset={null}{IN}{GFUO}{IMN}]*/
foo5([
/*[null|subclass=Object|powerset={null}{IN}{GFUO}{IMN}]*/ fn = defaultFn5,
]) => fn(54);
/*member: foo6:[null|subclass=Object|powerset={null}{IN}{GFUO}{IMN}]*/
foo6({
/*[null|subclass=Object|powerset={null}{IN}{GFUO}{IMN}]*/ fn = defaultFn6,
}) => fn(54);
/*member: main:[null|powerset={null}]*/
main() {
// Direct calls.
foo1();
foo2();
// Indirect calls.
(foo3)();
(foo4)();
// Calls via Function.apply.
Function.apply(foo5, []);
Function.apply(foo6, []);
}