| /* |
| * 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>? b; |
| G<Never>? a; |
| G<int>? c; |
| |
| A<G<dynamic>>? b1; |
| A<G<Never>>? a1; |
| A<G<int>>? c1; |
| } |
