// Copyright (c) 2017, 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
/*@testedFeatures=inference*/
library test;

void foo(
    [Map<int, String> m1 = /*@ typeArgs=int*, String* */ const {1: "hello"},
    Map<int, String> m2 = /*@ typeArgs=int*, String* */ const {
      // One error is from type checking and the other is from const evaluation.
      /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE,error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello":
          "world"
    }]) {}
void test() {
  {
    Map<int, String> l0 = /*@ typeArgs=int*, String* */ {};
    Map<int, String> l1 = /*@ typeArgs=int*, String* */ {3: "hello"};
    Map<int, String> l2 = /*@ typeArgs=int*, String* */ {
      /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello": "hello"
    };
    Map<int, String> l3 = /*@ typeArgs=int*, String* */ {
      3: /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3
    };
    Map<int, String> l4 = /*@ typeArgs=int*, String* */ {
      3: "hello",
      /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello":
          /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3
    };
  }
  {
    Map<dynamic, dynamic> l0 = /*@ typeArgs=dynamic, dynamic */ {};
    Map<dynamic, dynamic> l1 = /*@ typeArgs=dynamic, dynamic */ {3: "hello"};
    Map<dynamic, dynamic> l2 = /*@ typeArgs=dynamic, dynamic */ {
      "hello": "hello"
    };
    Map<dynamic, dynamic> l3 = /*@ typeArgs=dynamic, dynamic */ {3: 3};
    Map<dynamic, dynamic> l4 = /*@ typeArgs=dynamic, dynamic */ {
      3: "hello",
      "hello": 3
    };
  }
  {
    Map<dynamic, String> l0 = /*@ typeArgs=dynamic, String* */ {};
    Map<dynamic, String> l1 = /*@ typeArgs=dynamic, String* */ {3: "hello"};
    Map<dynamic, String> l2 = /*@ typeArgs=dynamic, String* */ {"hello": "hello"};
    Map<dynamic, String> l3 = /*@ typeArgs=dynamic, String* */ {
      3: /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3
    };
    Map<dynamic, String> l4 = /*@ typeArgs=dynamic, String* */ {
      3: "hello",
      "hello": /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3
    };
  }
  {
    Map<int, dynamic> l0 = /*@ typeArgs=int*, dynamic */ {};
    Map<int, dynamic> l1 = /*@ typeArgs=int*, dynamic */ {3: "hello"};
    Map<int, dynamic> l2 = /*@ typeArgs=int*, dynamic */ {
      /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello": "hello"
    };
    Map<int, dynamic> l3 = /*@ typeArgs=int*, dynamic */ {3: 3};
    Map<int, dynamic> l4 = /*@ typeArgs=int*, dynamic */ {
      3: "hello",
      /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello": 3
    };
  }
  {
    Map<int, String> l0 = /*error:INVALID_CAST_LITERAL_MAP*/ <num, dynamic>{};
    Map<int, String> l1 = /*error:INVALID_CAST_LITERAL_MAP*/ <num, dynamic>{
      3: "hello"
    };
    Map<int, String> l3 = /*error:INVALID_CAST_LITERAL_MAP*/ <num, dynamic>{
      3: 3
    };
  }
  {
    const Map<int, String> l0 = /*@ typeArgs=int*, String* */ const {};
    const Map<int, String> l1 = /*@ typeArgs=int*, String* */ const {3: "hello"};
    const Map<int, String> l2 = /*@ typeArgs=int*, String* */ const {
      /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE,error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello":
          "hello"
    };
    const Map<int, String> l3 = /*@ typeArgs=int*, String* */ const {
      3: /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE,error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3
    };
    const Map<int, String> l4 = /*@ typeArgs=int*, String* */ const {
      3: "hello",
      /*error:MAP_KEY_TYPE_NOT_ASSIGNABLE,error:MAP_KEY_TYPE_NOT_ASSIGNABLE*/ "hello":
          /*error:MAP_VALUE_TYPE_NOT_ASSIGNABLE,error:MAP_VALUE_TYPE_NOT_ASSIGNABLE*/ 3
    };
  }
}

main() {}