| // 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. |
| |
| // This test checks that covariant and contravariant occurrences of the same |
| // type variable from the set of mutually dependent type variables in the bounds |
| // of all of these type variables are replaced with `dynamic` and Null |
| // respectively, in case when the raw type is used as a type argument of a list |
| // or a map literal. |
| |
| class B<X, Y> {} |
| |
| class C1<X extends X Function(Y), Y extends X Function(Y)> {} |
| |
| var lc1 = <C1>[]; |
| var mc1 = <C1, C1>{}; |
| |
| class C2<X extends X Function(Y), Y extends Y Function(X)> {} |
| |
| var lc2 = <C2>[]; |
| var mc2 = <C2, C2>{}; |
| |
| class C3<X extends X Function(X, Y), Y extends X Function(X, Y)> {} |
| |
| var lc3 = <C3>[]; |
| var mc3 = <C3, C3>{}; |
| |
| class C4<X extends X Function(X, Y), Y extends Y Function(X, Y)> {} |
| |
| var lc4 = <C4>[]; |
| var mc4 = <C4, C4>{}; |
| |
| class D1<X extends B<X, Y>, Y extends X Function(Y)> {} |
| |
| var ld1 = <D1>[]; |
| var md1 = <D1, D1>{}; |
| |
| class D2<X extends B<X, Y>, Y extends Y Function(X)> {} |
| |
| var ld2 = <D2>[]; |
| var md2 = <D2, D2>{}; |
| |
| class D3<X extends B<X, Y>, Y extends X Function(X, Y)> {} |
| |
| var ld3 = <D3>[]; |
| var md3 = <D3, D3>{}; |
| |
| class D4<X extends B<X, Y>, Y extends Y Function(X, Y)> {} |
| |
| var ld4 = <D4>[]; |
| var md4 = <D4, D4>{}; |
| |
| class E<X extends X Function(X)> {} |
| |
| var le = <E>[]; |
| var me = <E, E>{}; |
| |
| main() {} |