pkg/front_end/testcases/nnbd/type_parameter_types.dart

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

class A<X extends Object, Y extends Object?> {
  X foo() => null;
  X? bar() => null;
  Y baz() => null;
}

class B<X extends List<Y>, Y extends Object?> {
  foo(X x, Y y) {}
}

class C<X extends List<Y>?, Y extends List<X>?> {
  foo(X x, Y y) {}
}

class D<X extends Y, Y extends Z, Z> {
  foo(X x, Y y, Z z) {}
}

main() {
  X fun1<X extends Object, Y extends Object?>() => null;
  Y fun2<X extends Object, Y extends Object?>() => null;
  X fun3<X extends List<Y>, Y extends Object?>() => null;
  Y fun4<X extends List<Y>, Y extends Object?>() => null;
  X fun5<X extends List<Y>?, Y extends List<X>?>() => null;
  Y fun6<X extends List<Y>?, Y extends List<X>?>() => null;
  X fun7<X extends Y, Y extends Z, Z>() => null;
  Y fun8<X extends Y, Y extends Z, Z>() => null;
  Z fun9<X extends Y, Y extends Z, Z>() => null;
}