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

// @dart = 2.9

typedef F<X> = X Function();
typedef G<X> = void Function(void Function(X));

class A<X> {}

class B01<X> extends A<F<X>> {}

class B02<X> extends A<G<X>> {}

class B03<X> extends A<X Function()> {}

class B04<X> extends A<void Function(void Function(X))> {}

class B05<X> extends Object with A<F<X>> {}

class B06<X> extends Object with A<G<X>> {}

class B07<X> extends Object with A<X Function()> {}

class B08<X> extends Object with A<void Function(void Function(X))> {}

class B09<X> implements A<F<X>> {}

class B10<X> implements A<G<X>> {}

class B11<X> implements A<X Function()> {}

class B12<X> implements A<void Function(void Function(X))> {}

abstract class B13<X> extends A<A<F<X>>> {}

abstract class B14<X> extends A<A<G<X>>> {}

abstract class B15<X> extends A<A<X Function()>> {}

abstract class B16<X> extends A<A<void Function(void Function(X))>> {}

abstract class B17<X> extends Object with A<A<F<X>>> {}

abstract class B18<X> extends Object with A<A<G<X>>> {}

abstract class B19<X> extends Object with A<A<X Function()>> {}

abstract class B20<X> extends Object
    with A<A<void Function(void Function(X))>> {}

abstract class B21<X> implements A<A<F<X>>> {}

abstract class B22<X> implements A<A<G<X>>> {}

abstract class B23<X> implements A<A<X Function()>> {}

abstract class B24<X> implements A<A<void Function(void Function(X))>> {}

main() {
  A();

  B01();
  B02();
  B03();
  B04();
  B05();
  B06();
  B07();
  B08();
  B09();
  B10();
  B11();
  B12();

  B13 b13;
  B14 b14;
  B15 b15;
  B16 b16;
  B17 b17;
  B18 b18;
  B19 b19;
  B20 b20;
  B21 b21;
  B22 b22;
  B23 b23;
  B24 b24;
}