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

import 'package:expect/expect.dart';

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

////////////////////////////////////////////////////////////////////////////////
// Test that we trust the explicit type of a parameter with
// --trust-type-annotations or --omit-implicit-checks.
////////////////////////////////////////////////////////////////////////////////

/*element: _trustParameters:[exact=JSUInt31]*/
_trustParameters(int /*[exact=JSUInt31]*/ i) {
  return i;
}

/*element: trustParameters:[null]*/
trustParameters() {
  dynamic f = _trustParameters;
  Expect.equals(0, f(0));
  Expect.throws(/*[null|subclass=Object]*/ () => f('foo'));
}