/*
 * 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 The static type a map literal of the form const{k1 : e1 . . . kn : en }
 * or the form {k1 : e1 . . . kn : en } is Map <dynamic, dynamic>.
 * @description Checks that static type of map literal with omitted type
 * arguments is indeed Map<dynamic, dynamic> by assigning it to declared
 * variable of type Map <K,V> where K, V are arbitrary types. No static
 * warnings expected.
 * @static-clean
 * @author ilya
 */

class K {}
class V {}

main() {
  Map<K,V> x = {1: true, String: (){}};
  Map<K,V> y = const {1: true, String: null};
}