Always explicitely give a type to HInvokeStatic, and make the literal map know it's a map.

tests/compiler/dart2js/literal_map_test.dart

Index: tests/compiler/dart2js/literal_map_test.dart
===================================================================
--- tests/compiler/dart2js/literal_map_test.dart	(revision 0)
+++ tests/compiler/dart2js/literal_map_test.dart	(revision 0)
@@ -0,0 +1,22 @@
+// Copyright (c) 2013, 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 "compiler_helper.dart";
+
+const String TEST = """
+foo() {
+  var a = {};
+  var index = foo(); // Make sure we want to optimize this method.
+  while (true) a[index] = 1;
+}
+""";
+
+main() {
+  String generated = compile(TEST, entry: 'foo');
+  // Make sure we have all the type information we need.
+  Expect.isFalse(generated.contains('bailout'));
+  Expect.isFalse(generated.contains('interceptor'));
+  // Make sure we don't go through an interceptor.
+  Expect.isTrue(generated.contains('a.\$indexSet'));
+}