Better messages for optimized index errors.

tests/compiler/dart2js_extra/consistent_index_error_typed_list_test.dart

Index: tests/compiler/dart2js_extra/consistent_index_error_typed_list_test.dart
diff --git a/tests/compiler/dart2js_extra/consistent_index_error_typed_list_test.dart b/tests/compiler/dart2js_extra/consistent_index_error_typed_list_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..1cd949d4c7f14276725951bd3b9de34bffa0d5e5
--- /dev/null
+++ b/tests/compiler/dart2js_extra/consistent_index_error_typed_list_test.dart
@@ -0,0 +1,159 @@
+// Copyright (c) 2015, 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";
+import "dart:typed_data";
+
+// Test that optimized indexing and slow path indexing produce the same error.
+
+@NoInline()
+@AssumeDynamic()
+confuse(x) => x;
+
+class TooHigh {
+  static load1() {
+    var a = confuse(true)
+        ? new Uint8List.fromList([10,11])
+        : new Uint8List.fromList([10,11,12,13,14]);
+    try {
+      return confuse(a)[3];  // dynamic receiver for indexer.
+    } catch (e) {
+      return e;
+    }
+    Expect.fail('unreached');
+  }
+
+  static load2() {
+    try {
+      confuse(load2x)(3);
+    } catch (e) {
+      return e;
+    }
+    Expect.fail('unreached');
+  }
+  static load2x(i) {
+    var a = confuse(true)
+        ? new Uint8List.fromList([10,11])
+        : new Uint8List.fromList([10,11,12,13,14]);
+    return a[i];
+  }
+
+  static test() {
+    var e1 = load1();
+    var e2 = load2();
+    Expect.equals('$e1', '$e2', '\n  A: "$e1"\n  B: "$e2"\n');
+  }
+}
+
+class Negative {
+  static load1() {
+    var a = confuse(true)
+        ? new Uint8List.fromList([10,11])
+        : new Uint8List.fromList([10,11,12,13,14]);
+    try {
+      return confuse(a)[-3];  // dynamic receiver for indexer.
+    } catch (e) {
+      return e;
+    }
+    Expect.fail('unreached');
+  }
+
+  static load2() {
+    try {
+      confuse(load2x)(-3);
+    } catch (e) {
+      return e;
+    }
+    Expect.fail('unreached');
+  }
+  static load2x(i) {
+    var a = confuse(true)
+        ? new Uint8List.fromList([10,11])
+        : new Uint8List.fromList([10,11,12,13,14]);
+    return a[i];
+  }
+
+  static test() {
+    var e1 = load1();
+    var e2 = load2();
+    Expect.equals('$e1', '$e2', '\n  A: "$e1"\n  B: "$e2"\n');
+  }
+}
+
+class Empty {
+  static load1() {
+    var a = confuse(true)
+        ? new Uint8List.fromList([])
+        : new Uint8List.fromList([10,11,12,13,14]);
+    try {
+      return confuse(a)[-3];  // dynamic receiver for indexer.
+    } catch (e) {
+      return e;
+    }
+    Expect.fail('unreached');
+  }
+
+  static load2() {
+    try {
+      confuse(load2x)(-3);
+    } catch (e) {
+      return e;
+    }
+    Expect.fail('unreached');
+  }
+  static load2x(i) {
+    var a = confuse(true)
+        ? new Uint8List.fromList([])
+        : new Uint8List.fromList([10,11,12,13,14]);
+    return a[i];
+  }
+
+  static test() {
+    var e1 = load1();
+    var e2 = load2();
+    Expect.equals('$e1', '$e2', '\n  A: "$e1"\n  B: "$e2"\n');
+  }
+}
+
+class BadType {
+  static load1() {
+    var a = confuse(true)
+        ? new Uint8List.fromList([10,11])
+        : new Uint8List.fromList([10,11,12,13,14]);
+    try {
+      return confuse(a)['a'];  // dynamic receiver for indexer.
+    } catch (e) {
+      return e;
+    }
+    Expect.fail('unreached');
+  }
+
+  static load2() {
+    try {
+      confuse(load2x)('a');
+    } catch (e) {
+      return e;
+    }
+    Expect.fail('unreached');
+  }
+  static load2x(i) {
+    var a = confuse(true)
+        ? new Uint8List.fromList([10,11])
+        : new Uint8List.fromList([10,11,12,13,14]);
+    return a[i];
+  }
+
+  static test() {
+    var e1 = load1();
+    var e2 = load2();
+    Expect.equals('$e1', '$e2', '\n  A: "$e1"\n  B: "$e2"\n');
+  }
+}
+
+main() {
+  TooHigh.test();
+  Negative.test();
+  Empty.test();
+  BadType.test();
+}