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