/*
 * 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 Let list1 = const <V>[e11... e1n] and list2 = const <U>[e21... e2n] be two
 * constant list literals and let the  elements of list1 and list2  evaluate to  o11... o1n
 * and o21... o2n respectively. Iff identical(o1i, o2i) for 1 <= i <= n and V = U then identical(list1, list2).
 * @description Checks that constant lists with identical elements and type arguments are identical.
 * @author msyabro
 * @reviewer kaigorodov
 */
import "../../Utils/expect.dart";

class C {
  const C();
}

main() {
  Expect.isTrue(identical(const [], const []));

  Expect.isTrue(identical(const [1, 2, 1 + 2], const [1, 2, 3]));
  Expect.isTrue(identical(const <bool>[false], const <bool>[false]));
  Expect.isTrue(identical(const ["a", "b", "c"], const ["a", "b", "c"]));
  Expect.isTrue(identical(const [1, null, const C()], const [1, null, const C()]));

  var l1 = const [1 + 1, 2 * 2, 3 ~/ 3];
  var l2 = const [2, 4, 1];
  Expect.isTrue(identical(l1, l2));
}