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

/*element: method1:[exact=JSUInt31]*/
method1() {
  return 42;
}

/*element: method2:[exact=JSUInt31]*/
method2(/*[exact=JSUInt31]*/ a) {
  // Called only via [foo2] with a small integer.
  return a;
}

/*element: foo1:[subclass=Closure]*/
const foo1 = method1;

/*element: foo2:[subclass=Closure]*/
const foo2 = method2;

/*element: returnInt1:[null|subclass=Object]*/
returnInt1() {
  return foo1();
}

/*element: returnInt2:[null|subclass=Object]*/
returnInt2() {
  return foo2(54);
}

/*element: main:[null]*/
main() {
  returnInt1();
  returnInt2();
}