Generated front_end/testcases/inference test files from Analyzer tests.

pkg/front_end/testcases/inference/downwards_inference_on_map_literals.dart

+// 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.
+
+/*@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 main() {
+  {
+    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
+    };
+  }
+}