// 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.

// Test that we emit warnings for unresolved indexing operations on super.

class A {
  operator []=(a, b) {}
}

class B extends A {
  foo() {
    super[4] = 42;
    super[4] += 5; //# 01: static type warning, runtime error
    return super[2]; //# 02: static type warning, runtime error
  }
}

class C {
  operator [](a) {}
}

class D extends C {
  foo() {
    super[4] = 42; //# 03: static type warning, runtime error
    super[4] += 5; //# 04: static type warning, runtime error
    return super[2];
  }
}

class E {
  foo() {
    super[4] = 42; //# 05: static type warning, runtime error
    super[4] += 5; //# 06: static type warning, runtime error
    return super[2]; //# 07: static type warning, runtime error
  }
}

main() {
  new B().foo();
  new D().foo();
  new E().foo();
}