blob: ee1d838fa02cff97801c9a9e2004ba533cbe447c [file] [log] [blame]
// 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.
// @dart=2.9
// This test checks that covariant and contravariant occurrences of the same
// type variable in the bounds of the other type variables from the same
// declaration that are not being transitively depended on by that variable are
// replaced with the bound of that variable and Null respectively.
class A<X> {}
class C<X, Y extends X Function(X)> {}
C c;
class D<X extends num, Y extends X Function(X)> {}
D d;
main() {}