Language/Expressions/Maps/identical_t02.dart

// 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 map1 = const< K, V >{k11: e11 ... k1n: e1n } and map2 =
/// const< J, U >{k21: e21 ... k2n: e2n } be two constant map literals. Let the
/// keys of map1 and map2 evaluate to s11 ... s1n and s21 ... s2n respectively,
/// and let the elements of map1 and map2 evaluate to o11 ... o1n and o21 ... o2n
/// respectively. Iff identical(o1i, o2i) and identical(s1i, s2i) for i ∈ 1..n,
/// and V = U then identical(map1, map2).
/// @description Checks that constant maps with different keys, values or type
/// arguments are not identical.
/// @author msyabro

import '../../../Utils/expect.dart';

main() {
  Expect.isFalse(identical(const <String, int>{}, const <String, num>{}));

  Expect.isFalse(identical(const {"key 1": 1, "key 2": 2},
                           const {"key 1": 1, "key 2": 3}));
  Expect.isFalse(identical(const {"": true}, const {"true": true}));
  Expect.isFalse(
      identical(const <String, String>{"key": "value", "value": "key"},
                const <Object, String>{"key": "value", "value": "key"}));
  Expect.isFalse(identical(const <String, int>{"1": 1},
                           const <String, int>{"1": 1, "2": 2}));
}