// 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'));
}