// Copyright (c) 2011, 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.

/// @assertion Undocumented
/// @description Checks that this getter returns a non-null value and throws no
/// exceptions
/// @author vasya

import "../../../Utils/expect.dart";

main() {
  Expect.isTrue(null != 0.hashCode);
  Expect.isTrue(null != 2147483647.hashCode);
  Expect.isTrue(null != (-2147483648).hashCode);
  Expect.isTrue(null != 4294967295.hashCode);
  Expect.isTrue(null != (-4294967296).hashCode);
  Expect.isTrue(null != 9007199254740991.hashCode);
  Expect.isTrue(null != (-9007199254740991).hashCode);
}