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

// Verify that the ?. operator cannot be used with "super".

class B {
  B();
  B.namedConstructor();
  var field = 1;
  method() => 1;
}

class C extends B {
  C()
    : super?.namedConstructor() //# 01: compile-time error
  ;

  test() {
    super?.field = 1; //# 02: compile-time error
    super?.field += 1; //# 03: compile-time error
    super?.field ??= 1; //# 04: compile-time error
    super?.field; //# 05: compile-time error
    1 * super?.field; //# 06: compile-time error
    -super?.field; //# 07: compile-time error
    ~super?.field; //# 08: compile-time error
    !super?.field; //# 09: compile-time error
    --super?.field; //# 10: compile-time error
    ++super?.field; //# 11: compile-time error
    super?.method(); //# 12: compile-time error
    1 * super?.method(); //# 13: compile-time error
    -super?.method(); //# 14: compile-time error
    ~super?.method(); //# 15: compile-time error
    !super?.method(); //# 16: compile-time error
    --super?.method(); //# 17: compile-time error
    ++super?.method(); //# 18: compile-time error
  }
}

main() {
  new C().test();
}