// Copyright (c) 2012, 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";

const x = const {
                  'a': 3,  /// 01: static type warning
                  'a': 4 };
const y = const { 'a': 10, 'b': 11, 'a': 12,  /// 02: static type warning
                  'b': 13, 'a': 14 };         /// 02: continued
const z = const {
                  '__proto__': 496,  /// 03: static type warning
                  '__proto__': 497,  /// 03: continued
                  '__proto__': 498,  /// 03: continued
                  '__proto__': 499 };

const x2 = const { 'a': 4 };
const y2 = const { 'a': 14, 'b': 13 };
const z2 = const { '__proto__': 499 };

main() {
  Expect.identical(x2, x);
  Expect.identical(y2, y);  /// 02: continued
  Expect.identical(z2, z);
}