Add corelib tests

test/codegen/corelib/map_contains_value_test.dart

Index: test/codegen/corelib/map_contains_value_test.dart
diff --git a/test/codegen/corelib/map_contains_value_test.dart b/test/codegen/corelib/map_contains_value_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..84f02ae65106f2a143ee21f20e03f2f05f71116c
--- /dev/null
+++ b/test/codegen/corelib/map_contains_value_test.dart
@@ -0,0 +1,23 @@
+// 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.
+
+import "package:expect/expect.dart";
+
+class A { const A(); }
+class B extends A { const B(); }
+
+main() {
+  var map1 = new Map<B, B>();
+  map1[const B()] = const B();
+  var map2 = new Map<B, B>();
+  var list = <B>[ const B() ];
+  Map<int, B> map3 = list.asMap();
+
+  var maps = [map1, map2, map3];
+  for (var map in maps) {
+    // Test that the map accepts a value is not of the same type:
+    //   Map<?, B>.containsValue(A)
+    Expect.isFalse(map.containsValue(new A()));
+  }
+}