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

/// @description Regression test for the issues 35114 (Analyzer does not allow
/// declare a class with typed function parameter if it's parametrized
/// contravariant or invariant) and 35115 (Dart runtime does not allow declare a
/// class with typed function parameter if it's parametrized contravariant or
/// invariant)
/// @Issue 35114, 35115
/// @author iarkh@unipro.ru


typedef G<X> = void Function(X);
class A<X extends G> {}

main() {
  G<dynamic>? g1;
  G<Never>?   g2;
  G<int>?     g3;

  A<G<dynamic>> a1;
  A<G<Never>>   a2;

  A<G<int>>? a3;
//  ^
// [analyzer] unspecified
// [cfe] unspecified

  A<G<Null>>? a4;
//  ^
// [analyzer] unspecified
// [cfe] unspecified
}