fixes #202, check IndexExpression

test/checker/checker_test.dart

 // 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.
 
 /// General type checking tests
 library dev_compiler.test.checker_test;
 
 import 'package:test/test.dart';
 
 import 'package:dev_compiler/src/testing.dart';
@@ skipping 1905 matching lines @@
             /*severe:InvalidMethodOverride*/C m2(C value) {}
             /*severe:InvalidMethodOverride*/A m3(C value) {}
             C m4(A value) {}
             /*severe:InvalidMethodOverride*/m5(value) {}
             /*severe:InvalidMethodOverride*/dynamic m6(dynamic value) {}
           }
        '''
     }, inferFromOverrides: true);
   });
 
-  test('binary operators', () {
+  test('binary and index operators', () {
     testChecker({
       '/main.dart': '''
           class A {
             A operator *(B b) {}
             A operator /(B b) {}
             A operator ~/(B b) {}
             A operator %(B b) {}
             A operator +(B b) {}
             A operator -(B b) {}
             A operator <<(B b) {}
             A operator >>(B b) {}
             A operator &(B b) {}
             A operator ^(B b) {}
             A operator |(B b) {}
+            A operator[](B b) {}
           }
 
           class B {
             A operator -(B b) {}
           }
 
           foo() => new A();
 
           test() {
             A a = new A();
@@ skipping 21 matching lines @@
             x = x + /*info:DynamicCast*/c;
             x = x + /*severe:StaticTypeError*/y;
 
             bool p = true;
             p = p && p;
             p = p && /*info:DynamicCast*/c;
             p = (/*info:DynamicCast*/c) && p;
             p = (/*info:DynamicCast*/c) && /*info:DynamicCast*/c;
             p = (/*severe:StaticTypeError*/y) && p;
             p = c == y;
+
+            a = a[b];
+            a = a[/*info:DynamicCast*/c];
+            c = (/*info:DynamicInvoke*/c[b]);
+            a[/*severe:StaticTypeError*/y];
           }
        '''
     });
   });
 
   test('compound assignments', () {
     testChecker({
       '/main.dart': '''
           class A {
             A operator *(B b) {}
             A operator /(B b) {}
             A operator ~/(B b) {}
             A operator %(B b) {}
             A operator +(B b) {}
             A operator -(B b) {}
             A operator <<(B b) {}
             A operator >>(B b) {}
             A operator &(B b) {}
             A operator ^(B b) {}
             A operator |(B b) {}
+            D operator [](B index) {}
+            void operator []=(B index, D value) {}
           }
 
           class B {
             A operator -(B b) {}
           }
 
+          class D {
+            D operator +(D d) {}
+          }
+
           foo() => new A();
 
           test() {
             int x = 0;
             x += 5;
             (/*severe:StaticTypeError*/x += 3.14);
 
             double y = 0.0;
             y += 5;
             y += 3.14;
@@ skipping 24 matching lines @@
             a += b;
             a += /*severe:StaticTypeError*/a;
             a -= b;
             (/*severe:StaticTypeError*/b -= b);
             a <<= b;
             a >>= b;
             a &= b;
             a ^= b;
             a |= b;
             (/*info:DynamicInvoke*/c += b);
+
+            var d = new D();
+            a[b] += d;
+            a[/*info:DynamicCast*/c] += d;
+            a[/*severe:StaticTypeError*/z] += d;
+            a[b] += /*info:DynamicCast*/c;
+            a[b] += /*severe:StaticTypeError*/z;
+            (/*info:DynamicInvoke*/(/*info:DynamicInvoke*/c[b]) += d);
           }
        '''
     });
   });
 
   test('super call placement', () {
     testChecker({
       '/main.dart': '''
           class Base {
             var x;
@@ skipping 863 matching lines @@
             f = bar as II2D;
             f = bar as DD2I;
             f = bar as DI2D;
             f = bar as ID2D;
             f = bar as DD2D;
           }
       '''
     });
   });
 }