// 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 Any use of a type [T] which is not well-bounded is a
/// compile-time error.
/// @description Checks that compile error is not thrown when variable with super
/// bounded type parameter is declared
/// @Issue 42415, 42429
/// @author iarkh@unipro.ru


class A<T extends A<T>> {}

main() {
  A a1;

  A<dynamic> a2;
  A<Object?> a3;
  A<Object>  a4;
//  ^^^^^^
// [analyzer] unspecified
// [cfe] unspecified

  A<void>    a5;
  A<Never>   a6;

  A<A<dynamic>> a7;
  A<A<Object?>> a8;
  A<A<Object>>  a9;
//  ^^^^^^^^^
// [analyzer] unspecified
// [cfe] unspecified

  A<A<void>>    a10;
  A<A<Never>>   a11;

  A<A> a12;
  A<A<A>> a13;
}