| // Copyright (c) 2021, 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 C<X> {} | |
| typedef G<X> = X Function(X); | |
| typedef A<X extends G<C<X>>> = C<X>; | |
| typedef H<X> = C<X Function(X)>; | |
| typedef B<X extends H<X>> = C<X>; | |
| test() { | |
| A a = throw 42; // Error. | |
| B b = throw 42; // Error. | |
| } | |
| main() {} |