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

import "package:expect/expect.dart";

main() {
  // Smis on 64-bit.
  Expect.isTrue(identical(2305843009213693952, 2305843009213693952));
  Expect.isTrue(identical(2305843009213693953, 2305843009213693953));
  Expect.isTrue(identical(2305843009213693954, 2305843009213693954));
  Expect.isTrue(identical(4611686018427387903, 4611686018427387903));

  // Mints on 64-bit.
  Expect.isTrue(identical(4611686018427387904, 4611686018427387904));
  Expect.isTrue(identical(4611686018427387905, 4611686018427387905));
}