// Copyright (c) 2019, 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 instance variable initialized
/// by non-constant expression. Test type alias
/// @author sgrekhov@unipro.ru

// SharedOptions=--enable-experiment=nonfunction-type-aliases
class A {
}

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

class C extends BAlias {
  final y = 1;
  const C();
//      ^
// [analyzer] unspecified
// [cfe] unspecified
}

main() {
  const C();
}