Add regression tests for two issues (7525, 7513).

tests/language/issue7525_test.dart

Index: tests/language/issue7525_test.dart
===================================================================
--- tests/language/issue7525_test.dart	(revision 0)
+++ tests/language/issue7525_test.dart	(revision 0)
@@ -0,0 +1,17 @@
+// Copyright (c) 2012, 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.
+
+// Regression test for issue 7525.
+
+foo() {
+  var ol = <int>[2];
+  (ol as List<int>)[0];
+  int x = (ol as List<int>)[0];
+}
+
+main() {
+  for (int i = 0; i < 5000; i++) {
+    foo();

[regis, 2012/12/20 00:55:57]

How about returning x from foo() and checking that it equals 2 here or outside
the loop?

[srdjan, 2012/12/20 01:08:04]

Done.

+  }
+}