// Copyright (c) 2011, 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.

/**
 * @assertion It is a compile-time error if a constant constructor is declared
 * by a class C if any instance variable declared in C is initialized with an
 * expression that is not a constant expression.
 * A superclass of C cannot declare such an initializer either, because it must
 * necessarily declare constant constructor as well (unless it is Object, which declares
 * no instance variables)
 *
 * @description Checks that compile error is produced if class declares a
 * constant constructor and its superclass has overriden instance variable
 * initialized by non-constant expression.
 * @author sgrekhov@unipro.ru
 */
class A {
}

class B {
  final x = new A();
}

class C extends B {
  final x = 1;
//          ^
// [analyzer] unspecified
// [cfe] unspecified

  const C();
//      ^
// [analyzer] unspecified
// [cfe] unspecified
}

main() {
  const C();
//^^^^^^^^^
// [analyzer] unspecified
}